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 ::



Nobuki Takayama 2020-11-24