GeneralOrderedGroup -- the class of all ordered free commutative groups

GeneralOrderedGroup -- the class of all ordered free commutative groups

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

See also:

group -- make a group (monoid with inverses)

Degrees -- specify the degrees

The type GeneralOrderedGroup is a member of the class Type. Each object of class GeneralOrderedGroup is called a general ordered group. Each general ordered group is also a member of class GeneralOrderedMonoid.

Methods for using a general ordered group :

generators GeneralOrderedGroup

toString GeneralOrderedGroup

vars GeneralOrderedGroup