#8451: improve galois representation for elliptic curves
----------------------------------------------+-----------------------------
   Reporter:  wuthrich                        |       Owner:  cremona           
                                   
       Type:  defect                          |      Status:  positive_review   
                                   
   Priority:  major                           |   Milestone:  sage-4.6.1        
                                   
  Component:  elliptic curves                 |    Keywords:  elliptic curves, 
galois representation, is_surjective
     Author:  Chris Wuthrich                  |    Upstream:  N/A               
                                   
   Reviewer:  Robert Miller, Drew Sutherland  |      Merged:                    
                                   
Work_issues:                                  |  
----------------------------------------------+-----------------------------
Changes (by rlm):

  * status:  needs_review => positive_review
  * reviewer:  => Robert Miller, Drew Sutherland


Comment:

 This looks good to me.

 It applies cleanly to sage-4.6, and it passes all doctests.

 Since this fixes bugs in is_surjective, I recommend that we merge it ASAP.
 These bugs have been around for a long time!

 Side note, I would be interested to implement a function which says
 whether the image were as surjective as possible for CM curves, and I've
 done some computations about this in specific cases, but I'm not sure I
 would be able to implement a general routine without a lot of thinking...

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