Degrees
Degrees
-- an option which specifies the degrees of the generators.
Used as an option to
monoid
, or when a polynomial ring is created.
See
monoid
for details.