Ensure subgroup is tested at least once,

even if max parameter was increased in between. This resolves gap-system#5697
hulpke · May 6, 2024 · 4aedb4e · 4aedb4e
1 parent eb9ef68
commit 4aedb4e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/lib/grpfp.gi b/lib/grpfp.gi
@@ -4051,6 +4051,7 @@ local mappow, G, max, p, gens, rels, comb, i, l, m, H, t, gen, sz,
             RelatorsOfFpGroup(G),[gen],true,false:
               cyclic:=true,limit:=1+max,quiet:=true );
     fi;
+
     if t=fail then
       # we cannot get the size within the permitted limits -- give up
       return fail;
@@ -4098,6 +4099,8 @@ local mappow, G, max, p, gens, rels, comb, i, l, m, H, t, gen, sz,
     max:=10^3*sz;
   fi;
 
+  amax:=Maximum(amax,max+1);
+
   useind:=false;
   t1:=timerFunc();
   while max<amax do