Definition at line 100 of file FreeAlgebraQuotient.cpp.
References mFreeAlgebra.
Referenced by M2FreeAlgebraQuotient::compare_elems().