GeneralOrderedMonoid -- the class of all ordered free commutative monoids

GeneralOrderedMonoid -- the class of all ordered free commutative monoids

This is the class of free monoids that can be handled by the engine. Elements of such monoids are implemented as instances of MonoidElement.

See also:

monoid -- make a monoid

The type GeneralOrderedMonoid is a member of the class Type. Each object of class GeneralOrderedMonoid is called a general ordered monoid. Each general ordered monoid is also a member of class OrderedMonoid.

Types of GeneralOrderedMonoid :

GeneralOrderedGroup -- the class of all ordered free commutative groups

Methods for using a general ordered monoid :

degreeLength GeneralOrderedMonoid

degreesMonoid GeneralOrderedMonoid

expression GeneralOrderedMonoid

generators GeneralOrderedMonoid

net GeneralOrderedMonoid

numgens GeneralOrderedMonoid

options GeneralOrderedMonoid

stats GeneralOrderedMonoid

toString GeneralOrderedMonoid

vars GeneralOrderedMonoid