adding a simple test for state set congruences

gap-packages · Jun 17, 2024 · 40c4a6f · 40c4a6f
1 parent f7956a3
commit 40c4a6f
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/tst/statecong.tst b/tst/statecong.tst
@@ -0,0 +1,9 @@
+gap> START_TEST("State set congruences");
+gap> LoadPackage("sgpdec", false);;
+
+gap> S:=Semigroup([Transformation([1,6,11,12,11,10,7,13,7,1,2,1,1]),
+>              Transformation([2,10,3,3,8,7,2,4,5,6,5,3,4])]);;
+gap> partition := StateSetCongruence(Generators(S), [[1,2],[3,4]]);
+[[1,2,6,7,10],[3,4,5,8],[9],[ 11..13]]
+
+gap> STOP_TEST( "State set congruences");
diff --git a/tst/testfunctions.g b/tst/testfunctions.g
@@ -1,7 +1,8 @@
 SgpDecTestInstall := function()
 local test;
   for test in
-      ["relmorph",
+      ["statecong",
+       "relmorph",
        "hashmaprel",
        "lowerbound",
        "disjointuniongroup",