Macaulay2 » Documentation
Packages » Macaulay2Doc :: GeneralOrderedMonoid

next | previous | forward | backward | up | index | toc

GeneralOrderedMonoid -- the class of all ordered free commutative monoids

Description

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 or retrieve a monoid

For the programmer

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