Puiseux expansion
ArnaudB ยท Thu May 26, 2016 7:29 pm
Hi,
I have to question on Puiseux expansion. I work with plane curves over C.
1. The library "hnoether" computes a parameterization (p(t),q(t)) of the local branches of a curve f(x,y)=0.
How to ge a "true" Puiseux expansion of the form (t^p,s(t)) where s(t) in series in t?
2. In fact I want a parameterization of the branches at infinity of the curves. Is defining a global ordering (like dp) will give me the right parameterization? (It seems that in Maple it is possible to ask puiseux(f,x=infinity,y,n) to get thoses branches at infinity.)
Thanks for your answers,
Arnaud
I have to question on Puiseux expansion. I work with plane curves over C.
1. The library "hnoether" computes a parameterization (p(t),q(t)) of the local branches of a curve f(x,y)=0.
How to ge a "true" Puiseux expansion of the form (t^p,s(t)) where s(t) in series in t?
2. In fact I want a parameterization of the branches at infinity of the curves. Is defining a global ordering (like dp) will give me the right parameterization? (It seems that in Maple it is possible to ask puiseux(f,x=infinity,y,n) to get thoses branches at infinity.)
Thanks for your answers,
Arnaud