Add test for NormaliserSimple2

peal · May 20, 2021 · 60fb46f · 60fb46f
1 parent e9247f3
commit 60fb46f
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/tst/quickcheck-norm2.tst b/tst/quickcheck-norm2.tst
@@ -0,0 +1,16 @@
+gap> LoadPackage("quickcheck", false);;
+gap> LoadPackage("graphbacktracking", false);;
+gap> lmp := {l...} -> Maximum(1,Maximum(List(l, LargestMovedPoint)));;
+gap> QC_Check([IsPermGroup, IsPermGroup], 
+> function(g1,g2)
+>   local norm1, norm2, m;
+>   m := lmp(g1,g2);
+>   norm1 := Normaliser(g1, g2);
+>   norm2 := GB_SimpleSearch(PartitionStack(m),
+>          [BTKit_Con.InGroup(m,g1), GB_Con.NormaliserSimple2(m,g2)]);
+>  if norm1 <> norm2 then
+>    return StringFormatted("Expected {}, got {}, from {},{}",norm1,norm2,g1,g2);
+>  fi;
+>  return true;
+> end);
+true