 |
 |
 |
Sage Reference Manual |  |
 |
 |
|
|
|
Sage Reference Manual | |
|
|
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
|
|
|
Sage Reference Manual | |
|
|