Implements Ring.
Definition at line 220 of file polyquotient.hpp.
References normal_form(), PolynomialRing::numerR_, and result().
Referenced by ann(), and syzygy().