isOnEllCurve(List,EllipticCurve) -- A method to check if a point is on an elliptic curve.

Synopsis

• Function: isOnEllCurve

• Usage:

  isOnEllCurve(L,E)

• Inputs:
  • L, a list, the projective coordinates of the point
  • E, an instance of the type EllipticCurve, the elliptic curve on which the point lies
• Outputs:
  • a Boolean value

Description

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