GeneralOrderedGroup -- the class of all ordered free commutative groups

GeneralOrderedGroup -- the class of all ordered free commutative groups

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.

More general types (whose methods may also apply) :

GeneralOrderedMonoid -- the class of all ordered free commutative monoids

OrderedMonoid -- the class of all ordered monoids

Monoid -- the class of all monoids

Type -- the class of all types

MutableHashTable -- the class of all mutable hash tables

HashTable -- the class of all hash tables

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

Methods for using a general ordered group :

generators GeneralOrderedGroup

toString GeneralOrderedGroup

vars GeneralOrderedGroup