Skip to content

Commit

Permalink
Ensure subgroup is tested at least once,
Browse files Browse the repository at this point in the history
in finding induced permutation representation of FpGroup,
even if max parameter was increased in between. This resolves gap-system#5697
  • Loading branch information
hulpke committed Apr 5, 2024
1 parent 6271980 commit 5a0eda9
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions lib/grpfp.gi
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down Expand Up @@ -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
Expand Down

0 comments on commit 5a0eda9

Please sign in to comment.