Exp function for Edwards curves over local fields

We extend the map Exp for elliptic curves in short Weierstrass form over $\mathbb{C}$ to Edwards curves over local fields. Subsequently, we compute the map Exp for Edwards curves over the local field ${\mathbb{Q}}_p$ of $p$-adic numbers.