"Source: Text/Basics/Mat.text";
"Line: 1580";
"Date: Wed Mar 24 19:05:07 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Basics/Mat.text, line: 1580
// 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);
