Implements Ring.
Definition at line 250 of file M2FreeAlgebraQuotient.cpp.
References M2FreeAlgebra::invert(), and m2FreeAlgebra().