Definition at line 149 of file M2FreeAlgebraQuotient.hpp.
References ring_elem::get_Poly(), lead_coefficient(), and Ring::Ring().