DegLexMat(N:INTEGER):MAT
DegLexMat(3); Mat([ [1, 1, 1], [1, 0, 0], [0, 1, 0] ]) -------------------------------