From d212ad5dd27bde9ccc19b104ac11351081a56b75 Mon Sep 17 00:00:00 2001 From: Alexander Hulpke Date: Fri, 14 Dec 2018 12:51:14 +0100 Subject: [PATCH] Workaround for error #3055 This is a bug that arises very rarely, maybe based on random selections. In this case restart calculations. --- lib/clashom.gi | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/lib/clashom.gi b/lib/clashom.gi index 452659cb1e1..2b0efc2f565 100644 --- a/lib/clashom.gi +++ b/lib/clashom.gi @@ -738,6 +738,11 @@ local clT, # classes T dsz:=DivisorsInt(scj); fi; while not minlen in dsz do + # workaround rare problem -- try again + if First(dsz,i->i>=minlen)=fail then + return ConjugacyClassesSubwreath( + F,M,n,autT,T,Lloc,components,embeddings,projections); + fi; # minimum gcd multiple to get at least the # smallest divisor minlen:=minlen+