Add tests with empty matrix

Author: fingolfin

tst/testinstall/matrix.tst

@@ -1,3 +1,17 @@
+#
+gap> empty_0x2 := NewZeroMatrix(IsPlistMatrixRep, Integers, 0, 2);
+<0x2-matrix over Integers>
+gap> empty_2x0 := NewZeroMatrix(IsPlistMatrixRep, Integers, 2, 0);
+<2x0-matrix over Integers>
+gap> empty_0x0 := NewZeroMatrix(IsPlistMatrixRep, Integers, 0, 0);
+<0x0-matrix over Integers>
+gap> IsEmptyMatrix(empty_0x2);
+true
+gap> IsEmptyMatrix(empty_2x0);
+true
+gap> IsEmptyMatrix(empty_0x0);
+true
+
 #
 gap> IsGeneralizedCartanMatrix(NullMat(3, 3));
 false
@@ -21,6 +35,12 @@ gap> IsGeneralizedCartanMatrix([[2,-2],[-2,2]]);
 true
 
 #
+gap> IsDiagonalMat(empty_0x2);
+true
+gap> IsDiagonalMat(empty_2x0);
+true
+gap> IsDiagonalMat(empty_0x0);
+true
 gap> IsDiagonalMat(NullMat(3, 3));
 true
 gap> IsDiagonalMat(NullMat(1, 3));
@@ -45,6 +65,12 @@ gap> IsDiagonalMat([[1,0,0],[0,1,0]]);
 true
 
 #
+gap> IsUpperTriangularMat(empty_0x2);
+true
+gap> IsUpperTriangularMat(empty_2x0);
+true
+gap> IsUpperTriangularMat(empty_0x0);
+true
 gap> IsUpperTriangularMat(NullMat(3, 3));
 true
 gap> IsUpperTriangularMat(NullMat(1, 3));
@@ -67,6 +93,12 @@ gap> IsUpperTriangularMat([[1,1,1],[0,1,1]]);
 true
 
 #
+gap> IsLowerTriangularMat(empty_0x2);
+true
+gap> IsLowerTriangularMat(empty_2x0);
+true
+gap> IsLowerTriangularMat(empty_0x0);
+true
 gap> IsLowerTriangularMat(NullMat(3, 3));
 true
 gap> IsLowerTriangularMat(NullMat(1, 3));
@@ -89,6 +121,12 @@ gap> IsLowerTriangularMat([[1,0],[1,1],[1,1]]);
 true
 
 #
+gap> IsSquareMat(empty_0x2);
+false
+gap> IsSquareMat(empty_2x0);
+false
+gap> IsSquareMat(empty_0x0);
+true
 gap> IsSquareMat(NullMat(3, 3));
 true
 gap> IsSquareMat(IdentityMat(3));
@@ -105,6 +143,12 @@ gap> IsSquareMat([[1,2,3],[4,5,6]]);
 false
 
 #
+gap> IsSymmetricMat(empty_0x2);
+false
+gap> IsSymmetricMat(empty_2x0);
+false
+gap> IsSymmetricMat(empty_0x0);
+true
 gap> IsSymmetricMat(NullMat(3, 3));
 true
 gap> IsSymmetricMat(IdentityMat(3));
@@ -129,6 +173,12 @@ gap> IsSymmetricMat([[1,2],[3,4],[5,6]]);
 false
 
 #
+gap> IsAntisymmetricMat(empty_0x2);
+false
+gap> IsAntisymmetricMat(empty_2x0);
+false
+gap> IsAntisymmetricMat(empty_0x0);
+true
 gap> IsAntisymmetricMat(NullMat(3, 3));
 true
 gap> IsAntisymmetricMat([[0]]);