adding new tests for holonomy

Author: egri-nagy

tst/bestiary.g

@@ -103,8 +103,14 @@ ovlcovers := [Transformation([4,3,4,2]),
 OVLCOVERS := Semigroup(ovlcovers);
 SetName(OVLCOVERS,"OVLCOVERS");
 
+# No singleton image
 nosingleton := [Transformation([5,1,3,5,1]), Transformation([5,4,5,2,4])];
 NOSINGLETON := Monoid(nosingleton);
+# bigger example reported by Hanna Derets in 2025
+nosingleton2 := [Transformation([5,6,7,8,3,4,6,7]),
+                 Transformation([3,4,6,7,7,8,4,6]),
+                 Transformation([2,3,4,6,6,7,8,4])];
+NOSINGLETON2 := Semigroup(nosingleton2);
 
 #X's wide examples never coded before
 # l is a triple (list)

tst/holonomy.tst

@@ -1,6 +1,8 @@
 # testing holonomy  decomposition
-gap> START_TEST("Sgpdec package: holonomy.tst");
+gap> START_TEST("Holonomy Decomposition");
 gap> LoadPackage("sgpdec", false);;
+gap> Read(Concatenation(PackageInfo("sgpdec")[1]!.InstallationPath,
+> "/tst/bestiary.g"));;
 gap> hcs := HolonomyCascadeSemigroup(FullTransformationSemigroup(3));
 <cascade semigroup with 3 generators, 2 levels with (3, 2) pts>
 gap> hom := HomomorphismTransformationSemigroup(hcs);
@@ -80,6 +82,12 @@ gap> TestHolonomyRelationalMorphism(skBEX);
 true
 gap> TestHolonomyAction(skBEX);
 true
+gap> TestHolonomyEmulation(Skeleton(NOSINGLETON2));
+true
+gap> TestHolonomyRelationalMorphism(Skeleton(NOSINGLETON2));
+true
+gap> TestHolonomyRelationalMorphism(Skeleton(NOSINGLETON));
+true
 
 #
-gap> STOP_TEST( "Sgpdec package: holonomy.tst", 10000);
+gap> STOP_TEST( "Holonomy Decomposition", 10000);