Reimplemented from Ring.
Definition at line 1303 of file poly.cpp.
References PolynomialRing::K_, PolynomialRing::M_, and make_flat_term().