Procedure from library poly.lib (see poly_lib).
poly.lib
maxcoef(f); f poly/ideal/vector/module/matrix
maximal length of coefficient of f of type int (by counting the length of the string of each coefficient)
Example:
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