Two workarounds for old issues. (#3704)

* FIX: Set assertions to 0 for isomorphism test tests as the default assertions completely distort the cost -- all time is wasted on checking homomorphism properties again and again. This resolves #3533 * WORKAROUND: Bad random choices in rare cases This resolves the remaining issue in #3517
gap-system · Oct 16, 2019 · 5e331a1 · 5e331a1
1 parent 4c9d131
commit 5e331a1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/benchmark/grpauto/permiso.tst b/benchmark/grpauto/permiso.tst
@@ -2,6 +2,8 @@
 ##
 ## Warning: most of the later tests need more than the default memory allocation
 
+gap> SetAssertionLevel(0);;
+
 #
 # Too hard work for permiso
 #

diff --git a/lib/clashom.gi b/lib/clashom.gi
@@ -1054,7 +1054,7 @@ local clT,	# classes T
     Info(InfoHomClass,1,"fused to ",Length(newreps)," classes");
   od;
 
-  Assert(2,Sum(clout,i->Index(F,i[2]))=Size(F)-Size(M));
+  if Sum(clout,i->Index(F,i[2]))<>Size(F)-Size(M) then return fail;fi;
 
   Info(InfoHomClass,2,Length(clin)," inner classes, total size =",
         Sum(clin,i->Index(F,i[2])));
-Original file line number
+Diff line change
@@ Expand Up / @@ -2,6 +2,8 @@ @@
     ##
     ## Warning: most of the later tests need more than the default memory allocation
+    gap> SetAssertionLevel(0);;
     #
     # Too hard work for permiso
     #
@@ Expand Down @@