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,