Implements Ring.
Definition at line 181 of file M2FreeAlgebraQuotient.cpp.
References FreeAlgebraQuotient::compare_elems(), freeAlgebraQuotient(), and ring_elem::get_Poly().