Implements Ring.
Definition at line 750 of file poly.cpp.
References PolynomialRing::K_, PolynomialRing::M_, new_term(), Nterm::next, and result().
Referenced by subtract(), and syzygy().