GeneralOrderedMonoid

GeneralOrderedMonoid -- the class of all ordered free commutative monoids, as implemented by monoid.

This is the class of free monoids that can be handled by the engine.

Functions:

  • degree

    • Keys:

  • degreesMonoid
  • index

    • See also monoid, Degrees, and MonoidElement.

    topindexpreviousupnext