#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:                   |  
-----------------------------+----------------------------------------------
Changes (by wuthrich):

 * cc: cremona (added)


Comment:

 I am updating here the patch. It is now based on sage-4.1.1 plus trac
 ticket #6672 .

 Since nothing seems to happen with this patch and I continue to insist
 that it should go in as it is, I allow myself to switch back to 'needs
 review'. If any reviewer is against it for the reasons mentioned eralier,
 then I would propose that this ticket goes in (as it fixes some serious
 bugs) and that the changes are made later to it. I recall the main changes
 :

  * one can now give a single point or a list of points as the kernel
 argument. The isogeny has kernel generated by these points.
  * it checks now if the points are torsion points and, when a polynomial
 is given, that it divides the correct division polynomial.
  * and it changes the documentation slightly.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6384#comment:11>
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