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