2016-04-26-152942-padic-height.sagews

E = EllipticCurve('37a')

P = E.gens()[0]

P = E([0,0])

h = E.padic_height(5)

h(P)

5 + 5^2 + 5^3 + 3*5^6 + 4*5^7 + 5^9 + 5^10 + 3*5^11 + 3*5^12 + 5^13 + 4*5^14 + 5^15 + 2*5^16 + 5^17 + 2*5^18 + 4*5^19 + O(5^20)

E.padic_height_pairing_matrix(11)

[7*11 + 9*11^2 + 7*11^3 + 8*11^4 + 9*11^5 + 2*11^6 + 7*11^7 + 9*11^8 + 4*11^9 + 4*11^10 + 8*11^11 + 3*11^12 + 7*11^13 + 7*11^14 + 3*11^15 + 11^16 + 11^17 + 7*11^19 + O(11^20)]