#5156: [with patch; needs review] implement computation of the conjectural
(analytic) order of Sha for elliptic curves over Heegner quadratic
imaginary fields
---------------------------+------------------------------------------------
 Reporter:  was            |        Owner:  was     
     Type:  enhancement    |       Status:  new     
 Priority:  major          |    Milestone:  sage-3.3
Component:  number theory  |   Resolution:          
 Keywords:                 |  
---------------------------+------------------------------------------------
Comment (by rlm):

 Applied to 3.3.alpha2, I get the following errors:

 {{{
 **********************************************************************
 "sage/schemes/elliptic_curves/ell_rational_field.py", line 4033:
     sage: P = G(E.0) + G(E.1) + G(phi(F.0)); P
 Expected:
     (-51/1058*a + 141/1058 : -1581/12167*a - 9912/12167 : 1)
 Got:
     (-867/3872*a - 3615/3872 : -18003/170368*a - 374575/170368 : 1)
 **********************************************************************
 "sage/schemes/elliptic_curves/ell_rational_field.py", line 4036:
     sage: P.division_points(2)
 Expected:
     [(1/2*a - 1/2 : 1/2*a - 5/2 : 1)]
 Got:
     [(1/8*a + 5/8 : -5/16*a - 9/16 : 1)]
 **********************************************************************
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5156#comment:3>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of 
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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