Add additional tests for ListWreathProductElement

- Add tests where top component is not an involution. - Add tests that detect fail of Projection and Base Decomposition
gap-system · May 15, 2021 · 2c57a77 · 2c57a77
1 parent 3d1601c
commit 2c57a77
Showing 1 changed file with 65 additions and 5 deletions.
diff --git a/tst/testinstall/opers/ListWreathProductElement.tst b/tst/testinstall/opers/ListWreathProductElement.tst
@@ -16,14 +16,29 @@ gap> x := WreathProductElementList(G, list);;
 gap> list = ListWreathProductElement(G, x);
 true
 
+#
+gap> list := [(1,2), (1,2,3), (), (1,2,3), (), (1,2,3)];;
+gap> x := WreathProductElementList(G, list);;
+gap> list = ListWreathProductElement(G, x);
+true
+
 #
 gap> x := (1,5,9,12,13)(2,4,8,11,15,3,6,7,10,14);;
 gap> list := ListWreathProductElement(G, x);;
 gap> x = WreathProductElementList(G, list);
 true
 
-#
+# Top Component fails
+gap> x := (1,5);;
+gap> x ^ Projection(G);
+fail
+gap> ListWreathProductElement(G, x);
+fail
+
+# Base Component fails
 gap> x := (1,2,3,4,5);;
+gap> x ^ Projection(G);
+()
 gap> ListWreathProductElement(G, x);
 fail
 
@@ -43,9 +58,10 @@ gap> list = ListWreathProductElement(G, x);
 true
 
 #
-gap> x := (1,2,3,4,5);;
-gap> ListWreathProductElement(G, x);
-fail
+gap> list := [(1,2), (1,2,3), (), (1,2,3), (), (1,2,3)];;
+gap> x := WreathProductElementList(G, list);;
+gap> list = ListWreathProductElement(G, x);
+true
 
 #
 gap> x :=
@@ -63,6 +79,20 @@ gap> list := ListWreathProductElement(G, x);;
 gap> x = WreathProductElementList(G, list);
 true
 
+# Top Projection fails
+gap> x := (4,16);;
+gap> x ^ Projection(G);
+fail
+gap> ListWreathProductElement(G, x);
+fail
+
+# Base Decomposition fails
+gap> x := (1,2,3,4,5);;
+gap> x ^ Projection(G);
+()
+gap> ListWreathProductElement(G, x);
+fail
+
 #
 # Matrix Wreath Product
 #
@@ -78,6 +108,12 @@ gap> x := WreathProductElementList(G, list);;
 gap> list = ListWreathProductElement(G, x);
 true
 
+#
+gap> list := [K.1, K.2, One(K), K.2, One(K), (1,2,3)];;
+gap> x := WreathProductElementList(G, list);;
+gap> list = ListWreathProductElement(G, x);
+true
+
 #
 gap> x := [
 > [ 0*Z(3), 0*Z(3), 0*Z(3), Z(3), 0*Z(3), Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ],
@@ -99,7 +135,7 @@ gap> list := ListWreathProductElement(G, x);;
 gap> x = WreathProductElementList(G, list);
 true
 
-#
+# Top Projection fails
 gap> x := [
 > [ Z(3), 0*Z(3), Z(3)^0, Z(3), Z(3)^0, Z(3)^0, Z(3)^0, Z(3), Z(3), Z(3)^0, 0*Z(3), 0*Z(3), Z(3)^0, Z(3)^0, Z(3)^0 ],
 > [ Z(3), Z(3), Z(3)^0, 0*Z(3), Z(3)^0, Z(3)^0, Z(3)^0, Z(3)^0, Z(3)^0, Z(3), Z(3)^0, 0*Z(3), Z(3)^0, Z(3), Z(3) ],
@@ -116,6 +152,30 @@ gap> x := [
 > [ Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3), Z(3), 0*Z(3), Z(3), 0*Z(3), Z(3), Z(3), 0*Z(3), Z(3)^0, Z(3)^0 ],
 > [ 0*Z(3), 0*Z(3), Z(3), Z(3)^0, Z(3)^0, Z(3)^0, 0*Z(3), Z(3)^0, Z(3), Z(3), 0*Z(3), Z(3)^0, Z(3)^0, Z(3)^0, Z(3) ],
 > [ 0*Z(3), Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3), Z(3), 0*Z(3), Z(3)^0, Z(3), Z(3)^0, 0*Z(3), Z(3), Z(3)^0 ] ];;
+gap> x ^ Projection(G);
+fail
+gap> ListWreathProductElement(G, x);
+fail
+
+# Base Decomposition fails
+gap> x := [
+> [ Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ],
+> [ 0*Z(3), 0*Z(3), Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ],
+> [ Z(3), Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ],
+> [ 0*Z(3), 0*Z(3), 0*Z(3), Z(3), 0*Z(3), 0*Z(3), Z(3)^0, Z(3)^0, Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ],
+> [ 0*Z(3), 0*Z(3), 0*Z(3), Z(3), Z(3), 0*Z(3), 0*Z(3), Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ],
+> [ 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3), Z(3), 0*Z(3), Z(3), Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ],
+> [ 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ],
+> [ 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ],
+> [ 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ],
+> [ 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3), 0*Z(3), Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ],
+> [ 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, Z(3), Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3) ],
+> [ 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, Z(3)^0, Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ],
+> [ 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3), Z(3)^0 ],
+> [ 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3), Z(3) ],
+> [ 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, Z(3)^0 ] ];;
+gap> x ^ Projection(G);
+()
 gap> ListWreathProductElement(G, x);
 fail