GeneralOrderedGroup

GeneralOrderedGroup -- the class of all ordered free commutative groups, as implemented by group.

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

Functions:

  • degree
  • exponents

    • Keys:

  • index

    • See also group and Degrees.

    Go to main index.

    Go to concepts index.