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