Definition at line 259 of file qring.hpp.
References is_ZZ_quotient_.
Referenced by PolynomialRing::create_quotient().