   echo = 1 (on)
? mathnf([0,2])

[2]

? mathnf([0,2],1)
[Mat(2), [1, 0; 0, 1]]
? mathnf([0,x])

[x]

? mathnf([0,x],1)
[Mat(x), [1, 0; 0, 1]]
? mathnf([x;1])

[x]

[1]

? mathnf([x;1],1)
[[x; 1], Mat(1)]
? mathnf([x,x^2+1;x^3+x+1,x+2]*Mod(1,5))

[Mod(1, 5)*x^5 + Mod(2, 5)*x^3 + Mod(4, 5)*x + Mod(1, 5) Mod(4, 5)*x^4 + Mod
(2, 5)*x^3 + Mod(4, 5)*x^2 + Mod(3, 5)*x]

[0 1]

? v=[116085838,181081878,314252913,10346840];
? [H,U]=mathnf(v,1);[v*U,norml2(U)]
[[0, 0, 0, 1], 2833319]
? [H,U]=mathnf(v,5);[v*U,norml2(U)]
[[0, 0, 0, 1], 765585180708864230567243002686057927228240493]
? mathnf([])
[;]
? mathnf([],1)
[[;], [;]]
? mathnf([;])
[;]
? mathnf([;],1)
[[;], [;]]
? mathnfmodid(matrix(0,2),[])
[;]
? mathnfmodid([0,7;-1,0;-1,-1],[6,2,2])

[2 1 1]

[0 1 0]

[0 0 1]

? matsolvemod([;],[]~,[]~,1)
0
? matsolvemod([;],[],[]~,1)
  ***   at top-level: matsolvemod([;],[],[
  ***                 ^--------------------
  *** matsolvemod: incorrect type in gaussmodulo (t_VEC).
? matsolvemod([;],[]~,[],1)
  ***   at top-level: matsolvemod([;],[]~,
  ***                 ^--------------------
  *** matsolvemod: incorrect type in gaussmodulo (t_VEC).
? matsolvemod([;],1,1,1)
0
? matsolvemod([1,2;3,4],1,2,1)
[[0, 0]~, [-1, 0; 0, 1]]
? print("Total time spent: ",gettime);
Total time spent: 0
