isOnEllCurve(L,E)
Tells whether the point of projective coordinates { L#0 : L#1 : L#2 } is on the elliptic curve E
i1 : E=ellCurve(3,8,GF(13)) o1 = Elliptic Curve defined by Y^2 = X^3 + 3 X + (-5)( over(GF 13 .)) o1 : EllipticCurve
i2 : isOnEllCurve({1,5,1},E) o2 = true