Definition at line 137 of file FreeAlgebraQuotient.hpp.
References degreeMonoid(), Monoid::make_one(), and multi_degree().