Module: sage.schemes.elliptic_curves.ell_field
Elliptic curves over a general field
Class: EllipticCurve_field
Special Functions: _check_satisfies_equations
self, v) |
Verify that the coordinates of v = [a,b,c] define a point on this scheme, or raise a TypeError. Note that c is assumed to equal either 0 or 1.
sage: E = EllipticCurve('37a1') sage: E._check_satisfies_equations([0,-1,0]) sage: E._check_satisfies_equations([0,1,0]) sage: E._check_satisfies_equations([0,0,0]) Traceback (most recent call last): ... TypeError: coordinates [0, 0, 0] do not define a point on Elliptic Curve defined by y^2 + y = x^3 - x over Rational Field