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