Dear GAP Forum members,
I am pleased to announce the acceptance of the GAP 4 package ANUPQ,
written by Werner Nickel and Greg Gamble. The package provides an
interface to the C program ANUpq created by Eamonn O'Brien, whose
assistance is gratefully acknowledged.
The ANUPQ package makes available to GAP 4.2 and 4.3 users
implementations of a number of algorithms for creating and manipulating
finite p-groups, including a p-quotient algorithm, a p-group generation
algorithm and a standard presentation algorithm.
The p-quotient algorithm computes pc-presentations for p-factor groups
of finitely presented groups, including finitely generated free groups,
subject to additional conditions that may be imposed by the user. In
case there is a largest such factor group, e.g., a largest factor group
of exponent e and p-class c on n generators, the algorithm constructs
that group. The p-group generation algorithm, which produces
descriptions of p-groups, carries out some of the steps associated with
the p-quotient algorithm, including computing p-covers, and a variant of
it is used by the standard presentation algorithm, which generates
canonical power-commutator presentations that can be used to test isomorphism.
The package also provides a number of specialized tools, including some
"for use only by `experts'," that allow interactive use with the
standalone C program.
ANUPQ is included in the accpkg4r3.zoo archive of GAP 4 release 3. It
be obtained from
http://www-groups.dcs.st-and.ac.uk/~gap/Accepted/anupq.html, or directly
or equivalent locations on the GAP mirror sites.
Charles R.B. Wright