> < ^ Date: Mon, 17 Nov 1997 12:41:00 +0000 (GMT)
> < ^ From: Alexander Hulpke <hulpke@math.colostate.edu >
^ Subject: Fix #9 for Gap 3.4.4

This is to announce bugfix number 9 for the GAP 3.4.4 library. The priority
of this fix is medium.

This fix corrects:
1) A problem with `NaturalHomomorphism' for subgroups of a solvable
permutation group, obtained via a composition series.
2) `Random' for the trivial subgroup of an AgGroup
3) The \in test for elements in automorphism groups

Errors 1 and 2 cause GAP to produce results which are obviously wrong
(elements of a different type than the group), error 3 leads to a syntax
error.

Many thanks to Markus Pueschel for reporting error 1.

To apply the fix, load the zoo archive 'fix9.zoo' from the
bugfixes web page
http://www-gap.dcs.st-and.ac.uk/~gap/Info/bugfixes.html
Alternatively you can find this file in the 'bugfixes' directory of the
GAP ftp distribution.

Unpack the file in the home directory of your GAP distribution (the
directory containing the 'lib' and 'etc' directories) using 'unzoo -x
fix9.zoo' (On a PC or a Mac you will have to enter the argument line after
the call to 'unzoo'.) This will replace the erraneous file by fixed versions.
Make sure you have write permissions when applying the fix.

You do not need to recompile.

You can remove the file 'description9' afterwards.

Alexander Hulpke, 13-Nov-97

#############################################################################
##
## These commands should run without error if the fix has been applied.
##
g:=SolvableGroup(2,1);
u:=TrivialSubgroup(g);
Centralizer(g,Random(u));
S3 := SymmetricGroup(3);
Z3 := CompositionSeries(S3)[2];
Irr(Z3);
G := SymmetricGroup(4);
A := AutomorphismGroup(G);
AgGroup(A);

> < [top]