#11800: Problem with points at infinity in hyperelliptic curves
----------------------------------+-----------------------------------------
Reporter: gaudry | Owner: AlexGhitza
Type: defect | Status: needs_review
Priority: minor | Milestone: sage-4.8
Component: algebraic geometry | Keywords: ecc2011
Work_issues: | Upstream: N/A
Reviewer: | Author: David Eklund
Merged: | Dependencies: #11930
----------------------------------+-----------------------------------------
Changes (by mstreng):
* work_issues: rebase =>
Old description:
> The 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:
> {{{
> sage: R.<x> = GF(67)[]
> sage: H = HyperellipticCurve(24*x^2 + 33*x + 43)
> sage: H.points()
> ...
> 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
> }}}
New description:
The 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:
{{{
sage: R.<x> = GF(67)[]
sage: H = HyperellipticCurve(24*x^2 + 33*x + 43)
sage: H.points()
...
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
}}}
Apply [attachment:11800.patch]
--
Comment:
apply attachment:11800.patch
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11800#comment:8>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
