Dear GAP-forum!

This is the anouncement of the GAP formation package. The package may be
used to compute formation-theoretic subgroups of finite soluble groups
in GAP, i.e. F-residual subgroups, F-normalizers and F-covering subgroups.
Furthermore it contains the definition of a formation in GAP as well
as some functions to handle formations.

It is a package of functions written in GAP language which should be
used together with GAP 3.4.2. Furthermore 9 pages of documentation
are enclosed in the package.

It may be obtained by anonymous ftp to math.rwth-aachen.de where
the file pub/incoming/formation.tar.gz contains the package.
Use the binary mode to get the file.

Then use 'gunzip' and 'tar' to unpack the package. This will create
a new directory formation which contains a file README, the GAP library
files and the documentation. The README file contains information
how to install the package and how to print the documentation.

Have fun with it,

Bettina Eick