Computing power series local coordinates on an algebraic curve
Let's say I have an elliptic curve E given by a Weierstrass equation in x and y. Let's say I choose a uniformizer t around a point P on E.
Then is there a SAGE function that writes x or y as a power series in t in a neighborhood of P?
Often, I might take something like t=x, so it's a matter of writing y.
Even more to the point, I want to take a differential form regular at P, say in the form dx/y or xdx/y, and write it as a power series times dt?
More generally, for any smooth point on a curve, or even any smooth point on a scheme and a system of parameters at that point, there should be a function that takes a regular function in a neighborhood of that point and writes it as a power series in those parameters. I could imagine writing something like this myself, but it would take a lot of work, and I would hope this is already implemented.