This package gives access to the following algorithms from inside GAP:

1. A p-quotient algorithm to compute a power-commutator presentation for a group of prime power order.
2. A p-group generation algorithm to generate descriptions of groups of prime power order.
3. A standard presentation algorithm used to compute a canonical power-commutator presentation of a p-group.
4. An algorithm which can be used to compute the automorphism group of a p-group.