| LIB "tropical.lib";
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:6334
==> !!!! 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)
==>
|