Definition at line 137 of file FreeAlgebraQuotient.cpp.
References mFreeAlgebra, normalizeInPlace(), and result().