GeneralOrderedMonoid -- the class of all ordered free commutative monoids

GeneralOrderedMonoid -- the class of all ordered free commutative monoids

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.

More general types (whose methods may also apply) :

OrderedMonoid -- the class of all ordered monoids

Monoid -- the class of all monoids

Type -- the class of all types

MutableHashTable -- the class of all mutable hash tables

HashTable -- the class of all hash tables

Types of general ordered monoid :

GeneralOrderedGroup -- the class of all ordered free commutative groups

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

Methods for using a general ordered monoid :

degreeLength GeneralOrderedMonoid

degreesMonoid GeneralOrderedMonoid

expression GeneralOrderedMonoid

generators GeneralOrderedMonoid

IndexedVariable _ GeneralOrderedMonoid

MonoidElement _ GeneralOrderedMonoid

net GeneralOrderedMonoid

numgens GeneralOrderedMonoid

options GeneralOrderedMonoid

Symbol _ GeneralOrderedMonoid

toString GeneralOrderedMonoid

vars GeneralOrderedMonoid