Singular

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