degreesMonoid -- get the monoid of degrees

degreesMonoid n -- returns the monoid whose elements correspond to the multidegrees of length n, or, if n is a monoid, the monoid whose elements correspond to degrees of elements of n.