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.
This package requires GAP version >= 4.9
The following other GAP packages are needed:
The following additional GAP packages are not required, but suggested:
For bug reports, feature requests and suggestions, please use the issue tracker.