Definition at line 96 of file poly.cpp.
References Monoid::get_degree_ring(), initialize_poly_ring(), and Ring::Ring().