#9411: Given points on an elliptic curve, this finds a LLL reduced 
ZZ-independent
set
-------------------------------+--------------------------------------------
   Reporter:  aly.deines       |       Owner:  cremona   
       Type:  enhancement      |      Status:  needs_work
   Priority:  minor            |   Milestone:            
  Component:  elliptic curves  |    Keywords:  LLL, rank 
     Author:  Alyson Deines    |    Upstream:  N/A       
   Reviewer:  John Cremona     |      Merged:            
Work_issues:                   |  
-------------------------------+--------------------------------------------
Changes (by newvalueoldvalue):

  * status:  new => needs_work
  * reviewer:  => John Cremona
  * author:  => Alyson Deines


Comment:

 Aly, would it not have been simpler to move the code of the function
 lll_reduce(self, points, height_matrix=None) from ell_rational_field to
 ell_number_field?  That function was written when we only had heights over
 Q but it does the same thing, essentially.

 Apologies if I should have told you about that function earlier...

 There may well be other functions which can similarly be moved up;
 someone should go systematically through ell_rational_field functions to
 see which others there are.

 On your patch, I see the following:  (1) no tests over fields other than
 Q; (2) in defining E why not just E=self?;  (3) better to use the pari
 library than the gp interface (when there's a choice).  Otherwise it
 applies and builds fine.

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

Reply via email to