Reimplemented from Ring.
Definition at line 425 of file polyquotient.cpp.
References normal_form(), PolynomialRing::numerR_, PolynomialRing::overZZ_, and result().