Implements PolynomialRing.
Definition at line 416 of file polyquotient.hpp.
References normal_form(), and PolynomialRing::numerR_.