#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
-~----------~----~----~----~------~----~------~--~---

Reply via email to