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].

William Stein 2006-10-20