Implements Ring.
Definition at line 86 of file M2FreeAlgebraQuotient.cpp.
References coefficientRing(), from_coefficient(), and Ring::from_rational().