Definition at line 500 of file ring.hpp.
References degree_monoid(), Monoid::make_one(), and multi_degree().