#7096: bug in dual isogeny computation
-------------------------------+--------------------------------------------
Reporter: cremona | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-4.1.3
Component: elliptic curves | Keywords: elliptic curve isogeny
Work_issues: | Author:
Reviewer: | Merged:
-------------------------------+--------------------------------------------
Changes (by wuthrich):
* cc: shu...@… (added)
Comment:
Of course the field in the previous lines should be 1019. The output is
{{{
Isogeny of degree 7 from Elliptic Curve defined by y^2 + x*y = x^3 +
1018*x^2 + 288*x + 19 over Finite Field of size 1019 to Elliptic Curve
defined by y^2 + 7*x*y + 850*y = x^3 + 970*x^2 + 445*x + 202 over Finite
Field of size 1019
}}}
which has visibly the wrong, but an isomorphic codomain.
After 1 hour of chasing through the code, I was not able to find the
error. I include the author as CC in the hope that he might have an idea.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7096#comment:4>
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
-~----------~----~----~----~------~----~------~--~---
