add more tests for IsDiagonalMat, IsUpperTriangularMat, IsLowerTriang…

…ularMat
gap-system · Jul 30, 2019 · 1568bb1 · 1568bb1
1 parent 89e7fe2
commit 1568bb1
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/tst/testinstall/matrix.tst b/tst/testinstall/matrix.tst
@@ -13,6 +13,14 @@ gap> IsDiagonalMat([[1,0],[1,1]]);
 false
 gap> IsDiagonalMat([[1,1],[0,1]]);
 false
+gap> IsDiagonalMat([[1,0],[0,1],[0,1]]);
+false
+gap> IsDiagonalMat([[1,0],[0,1],[0,0]]);
+true
+gap> IsDiagonalMat([[1,0,0],[0,1,1]]);
+false
+gap> IsDiagonalMat([[1,0,0],[0,1,0]]);
+true
 
 #
 gap> IsUpperTriangularMat(NullMat(3, 3));
@@ -29,6 +37,12 @@ gap> IsUpperTriangularMat([[1,0],[1,1]]);
 false
 gap> IsUpperTriangularMat([[1,1],[0,1]]);
 true
+gap> IsUpperTriangularMat([[1,1],[0,1],[0,1]]);
+false
+gap> IsUpperTriangularMat([[1,1],[0,1],[0,0]]);
+true
+gap> IsUpperTriangularMat([[1,1,1],[0,1,1]]);
+true
 
 #
 gap> IsLowerTriangularMat(NullMat(3, 3));
@@ -45,6 +59,12 @@ gap> IsLowerTriangularMat([[1,0],[1,1]]);
 true
 gap> IsLowerTriangularMat([[1,1],[0,1]]);
 false
+gap> IsLowerTriangularMat([[1,0,0],[1,1,1]]);
+false
+gap> IsLowerTriangularMat([[1,0,0],[1,1,0]]);
+true
+gap> IsLowerTriangularMat([[1,0],[1,1],[1,1]]);
+true
 
 #
 gap> m := Z(5)^0 * [[0, 1], [1, 0]];;