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