4.8.9 Custom Term-Orderings |
Example |
-- The following CoCoA command defines S to be a polynomial ring and -- orders the terms of S using the term-ordering corresponding to the -- vectors (1,1,0,0),(0,-1,0,0),(0,0,1,1),(0,0,0,-1): Use S ::= QQ[x,y,z,t], Ord( Mat([[1, 1, 0, 0], [0,-1, 0, 0], [0, 0, 1, 1], [0, 0, 0,-1]]) ); |