4.8.6 Orderings |
Example |
Use R ::= QQ[x,y,z], Lex; -- lexicographic term-ordering (predefined) Use S ::= QQ[u,v], Ord([[1,1],[2,-3]]); -- custom term-ordering Ord(R); -- the matrix defining the term-ordering for R Mat([ [1, 0, 0], [0, 1, 0], [0, 0, 1] ]) ------------------------------- Ord(S); -- the matrix defining the term-ordering for S Mat([ [1, 1], [2, -3] ]) ------------------------------- |