25.23 FpGroup for Ag Groups

AgGroupOps.FpGroup( U )
AgGroupOps.FpGroup( U, str )

AgGroupOps.FpGroup returns a finite presentation of an ag group U.

If no str is given, the abstract group generators have the same names as the generators of the ag group U. Otherwise they have names of the form stri for integers i from 1 to the number of induced generators.

AgGroupOps.FpGroup computes the natural power-commutator presentation of an induced generating system of the finite polycyclic group U.

Previous Up Top Next
Index