12.07.2015 Views

Sage Reference Manual: Elliptic and Plane Curves - Mirrors

Sage Reference Manual: Elliptic and Plane Curves - Mirrors

Sage Reference Manual: Elliptic and Plane Curves - Mirrors

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Sage</strong> <strong>Reference</strong> <strong>Manual</strong>: <strong>Elliptic</strong> <strong>and</strong> <strong>Plane</strong> <strong>Curves</strong>, Release 6.1.1Note: This is a slow Python-level implementation.EXAMPLES:sage: F = GF(7)sage: P2. = ProjectiveSpace(F,2)sage: C = Curve(X^3+Y^3-Z^3)sage: C.rational_points()[(0 : 1 : 1), (0 : 2 : 1), (0 : 4 : 1), (1 : 0 : 1), (2 : 0 : 1), (3 : 1 : 0), (4 : 0 : 1),sage: F = GF(1237)sage: P2. = ProjectiveSpace(F,2)sage: C = Curve(X^7+7*Y^6*Z+Z^4*X^2*Y*89)sage: len(C.rational_points())1237sage: F = GF(2^6,’a’)sage: P2. = ProjectiveSpace(F,2)sage: C = Curve(X^5+11*X*Y*Z^3 + X^2*Y^3 - 13*Y^2*Z^3)sage: len(C.rational_points())104sage: R. = GF(2)[]sage: f = x^3*y + y^3*z + x*z^3sage: C = Curve(f); pts = C.rational_points()sage: pts[(0 : 0 : 1), (0 : 1 : 0), (1 : 0 : 0)]rational_points_iterator()Return a generator object for the rational points on this curve.INPUT:•self – a projective curveOUTPUT:A generator of all the rational points on the curve defined over its base field.EXAMPLE:sage: F = GF(37)sage: P2. = ProjectiveSpace(F,2)sage: C = Curve(X^7+Y*X*Z^5*55+Y^7*12)sage: len(list(C.rational_points_iterator()))37sage: F = GF(2)sage: P2. = ProjectiveSpace(F,2)sage: C = Curve(X*Y*Z)sage: a = C.rational_points_iterator()sage: a.next()(1 : 0 : 0)sage: a.next()(0 : 1 : 0)sage: a.next()(1 : 1 : 0)sage: a.next()(0 : 0 : 1)8 Chapter 3. Projective plane curves over a general ring

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!