GeneralOrderedMonoid -- the class of all ordered free commutative monoids

Functions and methods returning a general ordered monoid :

• monoid -- make or retrieve a monoid

Methods that use a general ordered monoid :

• degreeLength(GeneralOrderedMonoid), see degreeLength -- the number of degrees
• degrees(GeneralOrderedMonoid), see degrees(Ring) -- degrees of generators
• degreesMonoid(GeneralOrderedMonoid), see degreesMonoid -- get the monoid of degrees
• generators(GeneralOrderedMonoid) -- list of generators
• numgens(GeneralOrderedMonoid) -- number of generators of a monoid
• options(GeneralOrderedMonoid), see options(Monoid) -- get values used for optional arguments
• vars(GeneralOrderedMonoid) -- row matrix of the variables

For the programmer

The object GeneralOrderedMonoid is a type, with ancestor classes OrderedMonoid < Monoid < Type < MutableHashTable < HashTable < Thing.