From ce446ff9e4d1cca64d1de236338a5a951e9bff0a Mon Sep 17 00:00:00 2001
From: Alexander Hulpke <hulpke@math.colostate.edu>
Date: Sun, 7 Feb 2021 11:30:09 -0700
Subject: [PATCH] FIX: IntermediateGroup will not exit quietly if index is
 large

---
 lib/csetgrp.gi                                  | 11 ++++++++++-
 tst/testbugfix/2021-02-07-IntermediateGroup.tst |  5 +++++
 2 files changed, 15 insertions(+), 1 deletion(-)
 create mode 100644 tst/testbugfix/2021-02-07-IntermediateGroup.tst

diff --git a/lib/csetgrp.gi b/lib/csetgrp.gi
index 945c2c0f104..f25cecebe76 100644
--- a/lib/csetgrp.gi
+++ b/lib/csetgrp.gi
@@ -330,6 +330,12 @@ local o,b,img,G1,c,m,mt,hardlimit,gens,t,k,intersize;
     return fail;
   fi;
 
+  # try the `AscendingChain` mechanism
+  c:=AscendingChain(G,U:refineIndex:=QuoInt(IndexNC(G,U),2));
+  if Length(c)>2 then
+    return First(c,x->Size(x)>Size(U));
+  fi;
+
   # old code -- obsolete
 
   c:=ValueOption("refineChainActionLimit");
@@ -339,7 +345,10 @@ local o,b,img,G1,c,m,mt,hardlimit,gens,t,k,intersize;
     hardlimit:=1000000;
   fi;
 
-  if Index(G,U)>hardlimit then return fail;fi;
+  if Index(G,U)>hardlimit then 
+    Info(InfoWarning,1,
+      "will have to use permutation action of degree bigger than ", hardlimit);
+  fi;
 
   if IsPermGroup(G) and Length(GeneratorsOfGroup(G))>3 then
     G1:=Group(SmallGeneratingSet(G));
diff --git a/tst/testbugfix/2021-02-07-IntermediateGroup.tst b/tst/testbugfix/2021-02-07-IntermediateGroup.tst
new file mode 100644
index 00000000000..0aa2cba47d6
--- /dev/null
+++ b/tst/testbugfix/2021-02-07-IntermediateGroup.tst
@@ -0,0 +1,5 @@
+# IntermediateGroup in large index, reported in Forum (Breuer/Anvita) on 2/7/21
+gap> L:=PSL(2,7^3);;
+gap> S:=SylowSubgroup(L,2);;
+gap> IntermediateGroup(L,S);
+<permutation group of size 344 with 4 generators>