add some assertions

Author: wucas

lib/matobjminimal.gi

@@ -28,7 +28,8 @@ InstallMethod( NewMatrix,
             if Length(list_in[rowindex]) <> nrcols then
                 Error( "NewMatrix: Each row must have nrcols entries." );
             fi;
-            for colindex in [1..nrcols] do 
+            for colindex in [1..nrcols] do
+                Assert(2, list_in[rowindex][colindex] in basedomain); 
                 list[(rowindex-1)*nrcols + colindex] := list_in[rowindex][colindex];
             od;
         od;
@@ -71,12 +72,17 @@ InstallMethod( NumberColumns, "for a minimal example matrix rep",
 InstallMethod( MatElm, "for an minimal example matrix rep and two positions",
   [ IsMinimalExampleMatrixRep, IsPosInt, IsPosInt ],
   function( mat, row, col )
+    Assert(2, 1 <= row and row <= mat![MINREP_NRPOS]);
+    Assert(2, 1 <= col and col <= mat![MINREP_NCPOS]);
     return mat![MINREP_ELSPOS][(row-1)*mat![MINREP_NCPOS]+col];
 end );
 
 InstallMethod( SetMatElm, "for an minimal example matrix rep, two positions, and an object",
   [ IsMinimalExampleMatrixRep and IsMutable, IsPosInt, IsPosInt, IsObject ],
   function( mat, row, col, obj )
+    Assert(2, 1 <= row and row <= mat![MINREP_NRPOS]);
+    Assert(2, 1 <= col and col <= mat![MINREP_NCPOS]);
+    Assert(2, obj in mat![MINREP_BDPOS]);
     mat![MINREP_ELSPOS][(row-1)*mat![MINREP_NCPOS]+col] := obj;
 end );