Skip to content

Commit

Permalink
Workaround for error #3055
Browse files Browse the repository at this point in the history
This is a bug that arises very rarely, maybe based on random
selections. In this case restart calculations.
  • Loading branch information
hulpke committed Dec 14, 2018
1 parent 9c7c58f commit d212ad5
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions lib/clashom.gi
Original file line number Diff line number Diff line change
Expand Up @@ -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+
Expand Down

0 comments on commit d212ad5

Please sign in to comment.