| LIB "tropicalNewton.lib";
ring r = (0,t),x,dp;
setUniformizingParameter(t);
poly g = tx2+x+1;
newtonPolygonNegSlopes(g);
==> [1]:
==> 0
==> [2]:
==> -1
// poor man's polynomials over p-adic numbers:
ring s = 0,x,dp;
setUniformizingParameter(3);
poly g = x2+9x+1;
newtonPolygonNegSlopes(g);
==> [1]:
==> 0
|