Definition at line 87 of file M2FreeAlgebraQuotient.hpp.
References FreeMonoid::degreeMonoid(), m2FreeAlgebra(), and M2FreeAlgebra::monoid().