Hi,
This is a short and potentially quite simple question - the formal group object for an elliptic curve allows you to compute its logarithm, i.e. the isomorphism from the formal group to the additive formal group. Is it possible to find the exponential as well? If this is not built in, this would just reduce to finding a power series $g$ such that $f(g(T))=T$ for a given $f$. Is this possible with the power series tools?
Thanks!
