degreesMonoid n -- returns the monoid whose elements correspond to the multi-degrees of monomials in another monoid.
Also used as a key under which to store the result.
Ways to use degreesMonoid :
![[top]](top.gif)
![[index]](index.gif)