Singular Manual: Extra weight vector

| ### B.2.8 Extra weight vector 619#619 561#561any integers (including 0), defines 620#620and 621#621 622#622 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);

User manual for Singular version 4.4.0, 2024, generated by texi2html.