#6193: [with patch, needs review] implement elliptic logarithm
---------------------------+------------------------------------------------
Reporter: robertwb | Owner: was
Type: defect | Status: new
Priority: major | Milestone: sage-4.0.1
Component: number theory | Keywords:
---------------------------+------------------------------------------------
Comment(by robertwb):
The code looks good after my first reading.
* I assume by {{{on_egg}}} you're implying the non-identity component of
an elliptic curve over R?
* Where does the terminology {{{ei}}} come from for the x-coordinates of
the 2-torsion? (I may just not be familiar with the notation, if so, just
let me know.)
* What assurance is there that {{{extended_agm_iteration}}} will
terminate in the presence of numerical noise? (I suppose if delta is
around machine epsilon, then (1+delta).sqrt() should be identically 1. Is
that enough?
* It would be good to have an example demonstrating that the elliptic log
is actually the inverse of the standard Weierstrass isomorphism (at least
using Pari's version so far)
I am still building a 4.0 so I haven't actually applied/tested it, but
will when that's done building.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6193#comment:2>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
