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
  • exponents

    • Keys:

  • degreesMonoid
  • index

    • See also monoid and Degrees.

    Go to main index.

    Go to concepts index.