Definition at line 114 of file ring.cpp.
References PolyRing::get_trivial_poly_ring().
Referenced by degreeMonoid().