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.