Added/Changed tests for changes

New tests for MeatAxe/Group operations using zmodnz matrix objects, Subsequent changed output in tests Don't check for view format of matrices in HPCGAP which for some reason keeps old format.
gap-system · Apr 20, 2022 · 759c4d5 · 759c4d5
1 parent 5f73dc4
commit 759c4d5
Show file tree

Hide file tree

Showing 6 changed files with 27 additions and 18 deletions.
diff --git a/tst/testinstall/MatrixObj/IdentityMatrix.tst b/tst/testinstall/MatrixObj/IdentityMatrix.tst
@@ -88,9 +88,9 @@ Error, IdentityMatrix: the dimension must be non-negative
 
 #
 gap> IdentityMatrix(Integers mod 4, 2);
-<2x2-matrix over (Integers mod 4)>
+<matrix mod 4: [ [ 1, 0 ], [ 0, 1 ] ]>
 gap> IdentityMatrix(Integers mod 4, 0);
-<0x0-matrix over (Integers mod 4)>
+<0x0-matrix mod 4>
 gap> IdentityMatrix(Integers mod 4, -1);
 Error, IdentityMatrix: the dimension must be non-negative
 

diff --git a/tst/testinstall/MatrixObj/ZeroMatrix.tst b/tst/testinstall/MatrixObj/ZeroMatrix.tst
@@ -94,11 +94,11 @@ gap> ZeroMatrix(Integers, 2, 0);
 
 #
 gap> ZeroMatrix(Integers mod 4, 2, 3);
-<2x3-matrix over (Integers mod 4)>
+<matrix mod 4: [ [ 0, 0, 0 ], [ 0, 0, 0 ] ]>
 gap> ZeroMatrix(Integers mod 4, 0, 3);
-<0x3-matrix over (Integers mod 4)>
+<0x3-matrix mod 4>
 gap> ZeroMatrix(Integers mod 4, 2, 0);
-<2x0-matrix over (Integers mod 4)>
+<2x0-matrix mod 4>
 
 #
 gap> ZeroMatrix(GF(2), 2, 3);

diff --git a/tst/testinstall/MatrixObj/ZeroVector.tst b/tst/testinstall/MatrixObj/ZeroVector.tst
@@ -82,9 +82,9 @@ Error, ZeroVector: length must be non-negative
 
 #
 gap> ZeroVector(Integers mod 4, 2);
-<zmodnz vector over (Integers mod 4) of length 2>
+<vector mod 4: [ 0, 0 ]>
 gap> ZeroVector(Integers mod 4, 0);
-<zmodnz vector over (Integers mod 4) of length 0>
+<vector mod 4 of length 0>
 gap> ZeroVector(Integers mod 4, -1);
 Error, ZeroVector: length must be non-negative
 

diff --git a/tst/testinstall/vecmat.tst b/tst/testinstall/vecmat.tst
@@ -226,18 +226,12 @@ gap> F := Integers mod 6;; m := IdentityMat( 3, F );
 [ [ ZmodnZObj( 1, 6 ), ZmodnZObj( 0, 6 ), ZmodnZObj( 0, 6 ) ], 
   [ ZmodnZObj( 0, 6 ), ZmodnZObj( 1, 6 ), ZmodnZObj( 0, 6 ) ], 
   [ ZmodnZObj( 0, 6 ), ZmodnZObj( 0, 6 ), ZmodnZObj( 1, 6 ) ] ]
-gap> w := ImmutableMatrix( F, m );
-[ [ ZmodnZObj( 1, 6 ), ZmodnZObj( 0, 6 ), ZmodnZObj( 0, 6 ) ], 
-  [ ZmodnZObj( 0, 6 ), ZmodnZObj( 1, 6 ), ZmodnZObj( 0, 6 ) ], 
-  [ ZmodnZObj( 0, 6 ), ZmodnZObj( 0, 6 ), ZmodnZObj( 1, 6 ) ] ]
+gap> w := ImmutableMatrix( F, m );;
 gap> m = w;
 true
 gap> IsMutable(w);
 false
-gap> w := ImmutableMatrix( F, m, true );
-[ [ ZmodnZObj( 1, 6 ), ZmodnZObj( 0, 6 ), ZmodnZObj( 0, 6 ) ], 
-  [ ZmodnZObj( 0, 6 ), ZmodnZObj( 1, 6 ), ZmodnZObj( 0, 6 ) ], 
-  [ ZmodnZObj( 0, 6 ), ZmodnZObj( 0, 6 ), ZmodnZObj( 1, 6 ) ] ]
+gap> w := ImmutableMatrix( F, m, true );;
 gap> m = w;
 true
 gap> IsMutable(w);

diff --git a/tst/testinstall/zmodnz.tst b/tst/testinstall/zmodnz.tst
@@ -419,9 +419,7 @@ gap> one:= One( A );
 [ [ ZmodnZObj( 1, 6 ), ZmodnZObj( 0, 6 ) ], 
   [ ZmodnZObj( 0, 6 ), ZmodnZObj( 1, 6 ) ] ]
 gap> G:= GroupWithGenerators( [ one ] );;
-gap> One( G );
-[ [ ZmodnZObj( 1, 6 ), ZmodnZObj( 0, 6 ) ], 
-  [ ZmodnZObj( 0, 6 ), ZmodnZObj( 1, 6 ) ] ]
+gap> One( G );;
 gap> m:=[[4,1],[1,5]] * ZmodnZObj(1,6);;
 gap> m in A; m in G;
 true

diff --git a/tst/teststandard/opers/Matobjnz.tst b/tst/teststandard/opers/Matobjnz.tst
@@ -0,0 +1,17 @@
+gap> START_TEST("Matobjnz.tst");
+
+#
+gap> p:=NextPrimeInt(MAXSIZE_GF_INTERNAL);;
+gap> g:=AlternatingGroup(5);;
+gap> mo:=IrreducibleModules(g,GF(p));;
+gap> Set(List(mo[2],x->x.dimension));
+[ 1, 4, 5, 6 ]
+gap> h:=Group(mo[2][2].generators);
+<matrix group with 2 generators>
+gap> Size(h);
+60
+gap> Length(ConjugacyClassesSubgroups(h));
+9
+
+#
+gap> STOP_TEST("Matobjnz.tst",1);