Definition at line 71 of file polyquotient.hpp.
References PolynomialRing.
Referenced by lift(), PolynomialRing, and promote().