Subsections

• Order of an Element
• Equality and Comparison

Order of the element x. If the element has infinite order, the value zero is returned.

True if the elements u and v are identical (as elements of the appropriate free abelian group), false otherwise.

True if the elements u and v are not identical (as elements of the appropriate free abelian group), false otherwise.

IsId(u) : GrpAbElt -> BoolElt

True if the element u, belonging to the abelian group A, is the identity element (zero), false otherwise.