Reimplemented from Ring.
Definition at line 95 of file M2FreeAlgebraQuotient.cpp.
References freeAlgebraQuotient(), result(), and FreeAlgebraQuotient::var().