tropicalNewton.lib
LIB "tropicalNewton.lib"; ring r = (0,t),(z,y,x),lp; number uniformizingParameter = t; export(uniformizingParameter); ideal I = tx2+x+1,txy2+xy+1,xyz+1; list TI = tropicalVarietyNewton(I); for (int i=1; i<=size(TI); i++) { print(TI[i]); } ==> 0,0,0 ==> 0,-1,1 ==> -1,1,0 ==> -2,1,1 kill uniformizingParameter;