Definition at line 84 of file M2FreeAlgebraQuotient.hpp.
References m2FreeAlgebra(), and M2FreeAlgebra::monoid().
Referenced by lift(), and numVars().