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

    • Keys:

  • index

    • See also group and Degrees.

    topindexpreviousupnext