Function: ellheight
Section: elliptic_curves
C-Name: ellheight0
Prototype: GGDGp
Help: ellheight(E,P,{Q}): canonical height of point P on elliptic curve E,
 resp. the value of the associated bilinear form at (P,Q).
Doc: global N\'eron-Tate height $h(P)$ of the point $P$ on the elliptic curve
 $E/\Q$, using the normalization in Cremona's \emph{Algorithms for modular
 elliptic curves}. $E$ must be an \kbd{ell} as output by \kbd{ellinit}; it
 needs not be given by a minimal model although the computation will be faster
 if it is.

 If the argument $Q$ is present, computes the value of the bilinear
 form $(h(P+Q)-h(P-Q)) / 4$.

Variant: Also available is \fun{GEN}{ellheight}{GEN E, GEN P, long prec}
 ($Q$ omitted).