StdDegRevLexMat(N:INTEGER):MAT
/**/ StdDegRevLexMat(3); matrix([ [1, 1, 1], [0, 0, -1], [0, -1, 0] ])