#6384: [with patch, needs review] elliptic curve -- isogeny function is not
robust
-- it doesn't check validity of its input
-----------------------------+----------------------------------------------
Reporter: was | Owner: shumow
Type: defect | Status: new
Priority: major | Milestone: sage-4.1.2
Component: elliptic curves | Keywords: elliptic curves, isogeny,
Reviewer: | Author:
Merged: |
-----------------------------+----------------------------------------------
Comment(by shumow):
I agree that this fixes some issues, and is important. However, as I said
before, I do not think that we should totally replace being able to
specify the full list of points in the kernel. Rather, I think specifying
the generators should work *in addition to* the full list of kernel
points. Using Velu's algorithm here is mainly for pedagogical reasons
anyway, as specifying the kernel polynomial is computationally much
simpler and easy. And as using Velu's algorithm requires the input be the
full list of points, I think this is a reasonable input.
I propose that we open new bugs for (1) the documentation issues that you
fix and (2) an enhancement for being able to specify generators in
addition to the full list of kernel points.
Overall, The fixes in this patch are good, there are just many fixes in a
patch that don't really fix *this bug*
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6384#comment:13>
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
-~----------~----~----~----~------~----~------~--~---