We have been alerted by Christian Pech, that there are groups missing from
the primitive groups library. This library was compiled (largely by hand) as
part of a PhD thesis, and -- as far as we can see at the moment -- some
groups of nonsolvable affine type got lost in this classification.
Consequentially, we have done further tests. At the moment we are aware of
missing groups at least in degrees 5^3,11^2,13^2.
The missing groups of degree 13^2 are solvable and are also missing in the
library of irreducible solvable groups.
We will add all missing groups we are aware of in the next release.
(Let me stress, that these are ommissions in a hand-classification which
subsequentially was made available as a data base. This is not due to a bug
in GAP or another computer program.
Also at the moment the primitive groups library beyond degree 50 is not used
by any other GAP function. Unless you have done calculations which assume
completeness of the list -- something we did not guarantee -- the only
no effect on GAP calculations that do not use the primitive groups library.)
We eventually aim to redo the incorrect classification to be able to
provide a complete list. However this is a nontrivial task and will take
longer than the usual span for bugfixes:
Until further information is given, consider the list
of primitive groups beyond degree 50 to be incomplete.
(The warranties given with the restructuring for release 4.2 for this
library, namely that the groups are ``stable'' (i.e. the same index gives
the same group) and that all groups in this library are different are not
I apologize for this problem. If you use the list of primitive groups in
your work, and aim to get a complete list of groups of a certain degree,
please contact us, and we will give you a more detailed status of the data
as soon as we have finished the current tests.
-- Colorado State University, Department of Mathematics,
Weber Building, Fort Collins, CO 80523, USA
email: firstname.lastname@example.org, Phone: ++1-970-4914288