This is to announce the availability of the third upgrade for GAP 3.4.
This upgrade brings version 3 release 4 patchlevel 2 (V3R4P2) to version
3 release 4 patchlevel 3 (V3R4P3). The priority of this upgrade is high.
This upgrade fixes all known bugs in the library. Among them are the
bugs in 'LowIndexSubgroupsFpGroup' (if a nontrivial subgroup is given),
in 'GroupHomomorphismByImages' (when images of generators are trivial),
in 'RepresentativeOperation' (when it is applied to a symmetric group),
in 'EquivalenceTest' (for example when called from 'MaximalSubgroups'),
and with projections from subdirect products.
This upgrade adds the library of perfect groups of size at most 10^6
(excluding 11 sizes) by D.Holt and W.Plesken (brought into GAP format by
V.Felsch). It also adds the library of irreducible maximal finite
integral matrix groups of dimension at most 24 by G.Nebe, M.Pohst,
W.Plesken, and B.Souvignier (again brought into GAP format by V.Felsch).
It also extends the library of transitive groups up to degree 15.
This upgrade *does* change the manual.
This upgrade does not change the kernel. Thus you need not recompile.
This upgrade adds the Double Coset Enumerator contributed package by
S.Linton. It also contains newer versions of the ANUpq (1.3) and the
XGAP (1.3) contributed packages.
The upgrade is *not* available as patch file. Such a patch file would
simply be too large (over 3 MBytes).
-- .- .-. - .. -. .-.. --- ...- . ... .- -. -. .. -.- .- Martin Sch"onert, Martin.Schoenert@Math.RWTH-Aachen.DE, +49 241 804551 Lehrstuhl D f"ur Mathematik, Templergraben 64, RWTH, 52056 Aachen, Germany