Reimplemented from Ring.
Definition at line 64 of file M2FreeAlgebraQuotient.cpp.
References M2FreeAlgebra::index_of_var(), and m2FreeAlgebra().