Definition at line 68 of file FreeAlgebraQuotient.cpp.
References mFreeAlgebra, and result().
Referenced by M2FreeAlgebraQuotient::promote().