gap-packages / QuimpGrp

GAP database of quasiprimitive imprimitive permutation groups of degree at most 4095
Other
0 stars 0 forks source link

Error accessing groups of degree 3600 #8

Open fingolfin opened 2 years ago

fingolfin commented 2 years ago

This works:

gap> AllQuimpGroups( NrMovedPoints, 3600);;

This does not:

gap> AllQuimpGroups( NrMovedPoints, 3600, SocleTypeQuasiprimitiveGroup, SocleTypeQuasiprimitiveGroup(PSL(3,4)));;
Error, Record Element: '<rec>.name' must have an assigned value in
  return G_list[5].name = selector_value.name
 ; at GAPROOT/pkg/QuimpGrp/gap/QuimpGrp.gi:210 called from
func( elm ) at GAPROOT/lib/coll.gi:1364 called from
Filtered( quimps_with_property, function ( G_list )
      return G_list[5].name = selector_value.name;
  end ) at GAPROOT/pkg/QuimpGrp/gap/QuimpGrp.gi:210 called from
<function "AllQuimpGroups">( <arguments> )
 called from read-eval loop at *stdin*:80
type 'quit;' to quit to outer loop
brk>
fingolfin commented 6 months ago

In the problematic case, we have:

brk> G_list[5];
rec( allExtensions := [ [ 2, "2" ] ],
  classicalId := rec( parameter := [ 5 ], series := "A" ), fullAutGroup := [ 2, "2" ],
  idSimple :=
    rec(
      name := "A(5) ~ A(1,4) = L(2,4) ~ B(1,4) = O(3,4) ~ C(1,4) = S(2,4) ~ 2A(1,4) = U(2\
,4) ~ A(1,5) = L(2,5) ~ B(1,5) = O(3,5) ~ C(1,5) = S(2,5) ~ 2A(1,5) = U(2,5)",
      parameter := 5, series := "A", shortname := "A5" ), tomName := "A5", width := 2 )

The use of idSimple occurs in four instances and should be easy enough to fix.

These four cases also have classicalId and fullAutGroup set, so we simply need to rewrite G_list[5]; for all of them.