Changes between Version 8 and Version 12 of Ticket #11800


Ignore:
Timestamp:
12/21/11 11:08:16 (8 years ago)
Author:
davideklund
Comment:

I changed the description to a simpler example (to include in the documentation) which illustrates the same issue.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11800

    • Property Keywords sd35 hyperelliptic curve conic added
  • Ticket #11800 – Description

    v8 v12  
    11The function that lists the points on a hyperelliptic curve assumes that the point [0, 1, 0] is always valid. This is wrong and creates the following bug:
    22{{{
    3 sage: R.<x> = GF(67)[]
    4 sage: H = HyperellipticCurve(24*x^2 + 33*x + 43)
     3sage: R.<x> = GF(7)[]
     4sage: H = HyperellipticCurve(3*x^2 + 5*x + 1)
    55sage: H.points()
    66...
    7 TypeError: Coordinates [0, 1, 0] do not define a point on Hyperelliptic Curve over Finite Field of size 67 defined by y^2 = 24*x^2 + 33*x + 43
     7TypeError: Coordinates [0, 1, 0] do not define a point on Hyperelliptic Curve over Finite Field of size 7 defined by y^2 = 3*x^2 + 5*x + 1
    88}}}
    99
    10 Apply [attachment:11800.patch]
     10Apply [attachment:trac_11800_allow_conics.patch]