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
can also
be obtained from
http://www.math.rwth-aachen.de/~Greg.Gamble/anupq-1.1.zoo or
http://www-groups.dcs.st-and.ac.uk/~gap/Accepted/anupq.html, or directly
at
ftp://ftp-gap.dcs.st-and.ac.uk/pub/gap/gap4/accpkg/anupq-1.1.zoo
or equivalent locations on the GAP mirror sites.

Charles R.B. Wright

Miles-Receive-Header: reply