poly.lib
LIB "poly.lib"; ring r= 0,(x,y,z),ds; poly g = 345x2-1234567890y+7/4z; maxcoef(g); ==> 10 ideal i = g,10/1234567890; maxcoef(i); ==> 11 // since i[2]=1/123456789