Subsections

• Accessing the Defining Generators and Relations

The functions in this group provide access to basic information stored for a finitely-presented group G.

G . i : GrpFP, RngIntElt -> GrpFPElt

The i-th defining generator for G. A negative subscript indicates that the inverse of the generator is to be created. G.0 is Identity(G).

A set containing the generators for the group G.

Ngens(G) : GrpFP -> RngIntElt

The number of generators for the group G.

Given a finite group G, this function attempts to calculate the order of G by enumerating the cosets of the identity element in G. If the Todd-Coxeter procedure exhausts resources before terminating, the value zero is returned. No conclusion can be drawn from the value zero.

The parent group G of the word u.

A sequence containing the defining relations for G.