Reimplemented from Ring.
Definition at line 356 of file M2FreeAlgebraQuotient.cpp.
References ring_elem::get_Poly(), monomial, and multi_degree().
Referenced by multi_degree().