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