Definition at line 82 of file poly.hpp.
Referenced by cast_to_PolyRing(), cast_to_PolyRing(), create(), get_logical_coeff(), get_trivial_poly_ring(), and make_trivial_ZZ_poly_ring().