Definition at line 76 of file polyquotient.hpp.
Referenced by cast_to_PolyRingQuotient(), and cast_to_PolyRingQuotient().