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