Avoid errors due to too large range bounds (gap-system#6201)

Author: hulpke

lib/morpheus.gi

@@ -2631,7 +2631,13 @@ local d,iso,a,b,c,o,s,two,rt,r,z,e,y,re,m,gens,cnt,lim,p,
         a:=PseudoRandom(gp);
       fi;
       e:=Order(a);
-      if e in r then
+      # `r` is either a list or a record,
+      # the latter describing the range
+      # `[ r.first, r.first + r.offset .. r.last ]`,
+      # also if this range cannot be created in GAP.
+      if ( IsList( r ) and e in r ) or
+         ( IsRecord( r ) and r.first <= e and e <= r.last
+                         and ( e - r.first ) mod r.offset = 0 ) then
         a:=a^QuoInt(e,o);
         if z=fail or Size(Centralizer(gp,a))=z then
           return a;
@@ -2735,7 +2741,11 @@ local d,iso,a,b,c,o,s,two,rt,r,z,e,y,re,m,gens,cnt,lim,p,
   if gens=fail then
     Info(InfoMorph,1,"Isomorphism simple: ad-hoc");
     # not found by table or other -- try a 2/something ad-hoc
+<<<<<<< HEAD
     rt:=[2,4..Minimum(Size(g),2^50)];
+=======
+    rt:= rec( first:= 2, offset:= 2, last:= Size(g) );
+>>>>>>> f7a40f75c (Avoid errors due to too large range bounds (#6201))
     gens:=[findElm(g,2,fail,rt)];
     z:=Size(Centralizer(g,gens[1]));
 
@@ -2744,8 +2754,12 @@ local d,iso,a,b,c,o,s,two,rt,r,z,e,y,re,m,gens,cnt,lim,p,
     m:=Maximum(Filtered(Factors(Size(g)),x->x<100));
     cnt:=0;
     repeat
+<<<<<<< HEAD
       b:=Minimum(Size(g),2^50);
       gens[2]:=findElm(g,m,fail,[m,2*m..(b-(b mod m))]);
+=======
+      gens[2]:=findElm(g,m,fail, rec( first:= m, offset:= m, last:= Size(g) ));
+>>>>>>> f7a40f75c (Avoid errors due to too large range bounds (#6201))
       if isFull(SubgroupNC(g,gens)) then
         b:=gens;
         y:=Size(Centralizer(g,gens[2]));
@@ -2770,8 +2784,12 @@ local d,iso,a,b,c,o,s,two,rt,r,z,e,y,re,m,gens,cnt,lim,p,
     od;
     gens:=b;
     e:=Order(gens[2]);
+<<<<<<< HEAD
     y:=Minimum(Size(g),2^50);
     re:=[e,2*e..(y-(y mod e))];
+=======
+    re:= rec( first:= e, offset:= e, last:= Size(g) );
+>>>>>>> f7a40f75c (Avoid errors due to too large range bounds (#6201))
     y:=Size(Centralizer(g,gens[2]));
   fi;
   Info(InfoMorph,1,"generators ",List(gens,Order));

tst/testbugfix/2026-01-20-IsomorphismSimpleGroups.tst

@@ -0,0 +1,15 @@
+# Fix #6200 IsomorphismSimpleGroups
+#@local G, x, H
+gap> START_TEST("IsomorphismSimpleGroups.tst");
+
+# The runtime depends very much on random choices in the code,
+# it can vary from a few milliseconds (rare) to several minutes.
+gap> Reset( GlobalMersenneTwister, 2^19 );;
+gap> G:= AlternatingGroup( 20 );;
+gap> x:= ();;
+gap> H:= ConjugateGroup( G, x );;
+gap> IsomorphismSimpleGroups( G, H : cheap:= true ) <> fail;
+true
+
+# 
+gap> STOP_TEST("IsomorphismSimpleGroups.tst");