|
B.2.8 Extra weight vector
a(w1,…,wn),
w1,…,wn
any integers (including 0), defines
deg(xα) = w1α1 + + wnαn
and
An extra weight vector does not define a monomial ordering by itself:
it can only be used in combination with other orderings
to insert an extra line of weights into the ordering
matrix.
Example:
ring r = 0, (x,y,z), (a(1,2,3),wp(4,5,2));
ring s = 0, (x,y,z), (a(1,2,3),dp);
ring q = 0, (a,b,c,d),(lp(1),a(1,2,3),ds);
|