"Source: Text/Basics/Mat.text";
"Line: 1600";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Basics/Mat.text, line: 1600
// Example: H27E7 ()
print "Example: H27E7";
ei := GetEchoInput();
SetEchoInput(true);
m := 301; n := 300; 
X := Matrix(n, [Random(0, 10): i in [1 .. m*n]]);
time N := NullspaceMatrix(X);
Nrows(N), Ncols(N);
time IsZero(N*X);
assert $1;
{#Sprint(N[1,i]): i in [1..301]}; 
SetEchoInput(ei);
