Macaulay2 » Documentation
Packages » Macaulay2Doc » The Macaulay2 language » Type » Monoid » 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 the engine of Macaulay2. 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.

The source of this document is in Macaulay2Doc/doc_rings.m2:43:0.