The following few lines lead to a crash in Sage 10.0, with error message "TypeError: Not an element of the order." Is this an error on my part?
K.<a> = NumberField(3*x^2 + 1)
P.<z,w> = ProjectiveSpace(K, 1)
phi = DynamicalSystem_projective([a*(z^2 + w^2),z*w])
phi.canonical_height(P(a,1))
-- David