poly.lib
LIB "poly.lib"; ring r = 0,(x,y,z),ls; poly f = x5+y2+z3; ord(f); // ord returns weighted order of leading term! ==> 3 mindeg(f); // computes minimal degree ==> 2 matrix m[2][2]=x10,1,0,f^2; mindeg(m); // computes matrix of minimum degrees ==> 10,0, ==> -1,4