We consider the algorithm of Kedlaya [Ked01] in the case of
elliptic curves, as illustrated with an explicit example. In so
doing, we compute the matrix of absolute Frobenius for the elliptic
curve
at
, a quantity essential to the computation of its
-adic cyclotomic height pairing [MST06].