/**/ M := matrix([[1,2,3,4]]);
/**/ MakeTermOrd(M);
[[1, 2, 3, 4],
[0, 0, 0, -1],
[0, 0, -1, 0],
[0, -1, 0, 0]])
/**/ MakeTermOrd(M, LexMat(4));
matrix(ZZ,
[[1, 2, 3, 4],
[1, 0, 0, 0],
[0, 1, 0, 0],
[0, 0, 1, 0]])
/**/ MakeTermOrd(matrix([[1,2,0,0]]));
[[1, 2, 0, 0],
[0, 0, 1, 1],
[0, 0, 0, -1],
[0, -1, 0, 0]])
/**/ MakeTermOrd(matrix([[1,2,0,0],[0,0,3,0]]));
matrix(ZZ,
[[1, 2, 0, 0],
[0, 0, 3, 0],
[0, 0, 0, 1],
[0, -1, 0, 0]])
/**/ MakeTermOrd(matrix([[1,2,0,0],[0,0,3,0]]), RevLexMat(4));
matrix(ZZ,
[[1, 2, 0, 0],
[0, 0, 3, 0],
[0, 0, 0, -1],
[0, -1, 0, 0]])
--> not a term-ordering
|