Operations on Elements

Subsections

• Order of an Element
• Equality and Comparison

Order of an Element

Order(x) : GrpAbElt -> RngIntElt

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

Equality and Comparison

u eq v : GrpAbElt, GrpAbElt -> BoolElt

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

u ne v : GrpAbElt, GrpAbElt -> BoolElt

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

IsIdentity(u) : GrpAbElt -> BoolElt

IsId(u) : GrpAbElt -> BoolElt

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