GAP Package lpres

The LPRES Package defines new GAP objects to work with L-presented groups, namely groups given by a finite generating set and a possibly-infinite set of relations given as iterates of finitely many seed relations by a finite set of endomorphisms. The package implements nilpotent quotient, Todd-Coxeter and Reidemeister-Schreier algorithms for L-presented groups.

The current version of this package is version 1.0.3, released on 2022-03-20. For more information, please refer to the package manual. There is also a README file.

Dependencies

This package requires GAP version >= 4.9

The following other GAP packages are needed:

• polycyclic >= 2.5
• FGA >= 1.1.0.1

The following additional GAP packages are not required, but suggested:

• ParGAP >= 1.1.2
• AutPGrp >= 1.4
• ACE >= 5.0

Author

René Hartung.

Feedback

For bug reports, feature requests and suggestions, please use the issue tracker.