Macaulay2 » Documentation
Packages » Macaulay2Doc :: GeneralOrderedMonoid
next | previous | forward | backward | up | index | toc

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

For the programmer

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