Definition at line 446 of file tower.cpp.
450{
452 const Tower *S =
G->get_ring()->cast_to_Tower();
453 if (R == nullptr || R != S)
454 {
455 ERROR(
"encountered different rings");
456 }
457
463}
virtual const Tower * cast_to_Tower() const
ring_elem get_value() const
static RingElement * make_raw(const Ring *R, ring_elem f)
const Ring * get_ring() const
ring_elem gcd_extended(const ring_elem f, const ring_elem g, ring_elem &u, ring_elem &v) const
Ring subclass for tower polynomial rings (Z/p)[x_0][x_1]...[x_{n-1}] modulo a chain of algebraic exte...
VALGRIND_MAKE_MEM_DEFINED & result(result)
References Ring::cast_to_Tower(), ERROR, G, Tower::gcd_extended(), RingElement::get_ring(), RingElement::get_value(), RingElement::make_raw(), and result().
Referenced by rawExtendedGCDRingElement().