Singular

LIB "tropical.lib";
==> Welcome to polymake version
==> Copyright (c) 1997-2015
==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
==> http://www.polymake.org
ring r=0,(x,y),ds;
poly f=x2-y4+x5y7;
displayPuiseuxExpansion(puiseuxExpansion(f,3));
==> // ** name conflict var(1) and var(3): `x(1)`, rename to `@x(1)`in >>    \
     ring EXTENSIONRING = ring(RL);<<
==> in tropical.lib::findzerosAndBasictransform:6449
==> // ** redefining ggteiler (              int ggteiler=gcd(wneu[1],wneu[2]\
   );) tropical.lib::tropicalparametrise:5895
==> // ** redefining ggteiler (              int ggteiler=gcd(wneu[1],wneu[2]\
   );) tropical.lib::tropicalparametrise:5895
==> !!!! WARNING: The number of terms computed in the Puiseux expansion were
==> !!!!          not enough to find all branches of the curve singularity!
==> =============================
==> 1. Expansion:
==> 
==> The Puiseux expansion lives in the ring
==> Q[[t^(1/2)]]
==> 
==> The expansion has the form:
==> y=(1)*t^(1/2) + (1/4)*t^(14/2)
==> 
==> =============================
==> 2. Expansion:
==> 
==> The Puiseux expansion lives in the ring
==> Q[[t^(1/2)]]
==> 
==> The expansion has the form:
==> y=(-1)*t^(1/2) + (1/4)*t^(14/2)
==> 
==> =============================
==> 3. Expansion:
==> 
==> The Puiseux expansion lives in the ring
==> Q[a]/0[[t^(1/2)]]
==> 
==> The expansion has the form:
==> y=(a)*t^(1/2) + (1/4)*t^(14/2)
==>