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