Definition at line 163 of file aring-m2-gf.cpp.
164{
165
166
167
168
169 if (&
mGF.ring() != Rg)
return false;
170
172 return true;
173}
void lift_to_original_ring(ring_elem &result, const ElementType &f) const
VALGRIND_MAKE_MEM_DEFINED & result(result)
References lift_to_original_ring(), mGF, and result().