From 4aedb4eebe17d8118dc0bdf49095629f6ea16789 Mon Sep 17 00:00:00 2001
From: Alexander Hulpke <hulpke@math.colostate.edu>
Date: Fri, 5 Apr 2024 09:59:21 -0600
Subject: [PATCH] Ensure subgroup is tested at least once,

even if max parameter was increased in between. This resolves #5697
---
 lib/grpfp.gi | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/grpfp.gi b/lib/grpfp.gi
index 3466204b8b0..b84ded14abb 100644
--- 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