Definition at line 339 of file M2FreeAlgebraQuotient.cpp.
References M2FreeAlgebra::lead_coefficient(), m2FreeAlgebra(), and Ring::Ring().
Referenced by lead_coefficient().