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