next up previous
Next: ord_ws_all Up: Macro Operators Previous: ord_w

ord_w_all

ff [v1 w1 v2 w2 ... vm wm] ord_w d
poly ff; string v1; integer w1; ...
order of ff by the weight vector [w1 w2 ...]
Example: [(x,y,t) ring_of_polynomials 0] define_ring 
          (x^2 y^3-x-t). [(t) 1 ] ord_w_all ::



root 2004-03-05