Practical details
Store and remember the nonsingular equation in y obtained at
the end of the recursion
⇝ Black box able to give expansions with arbitrary t-adic
accuracy.
read("Algcurves.gp");
B=Branches0(y^3+2*x^3*y-x^7,t,a)[2][1];
BranchExpand(B,10)
BranchExpand(B,100)
Nicolas Mascot Algebraic curves