Workaround for error gap-system#3055

This is a bug that arises very rarely, maybe based on random selections. In this case restart calculations.
hulpke · Dec 18, 2018 · e991f98 · e991f98
1 parent 6b38145
commit e991f98
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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+