#5156: [with patch; needs review, doctest fix] 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.4.1
Component: number theory | Resolution:
Keywords: |
---------------------------+------------------------------------------------
Comment (by rlm):
The offending doctest is this one:
{{{
sage: F = E.quadratic_twist(-7)
sage: K = QuadraticField(-7,'a')
sage: G = E.change_ring(K)
sage: phi = F.change_ring(K).isomorphism_to(G)
sage: P = G(E.0) + G(E.1) + G(phi(F.0)); P
(-51/1058*a + 141/1058 : -1581/12167*a - 9912/12167 : 1) #
32-bit
(-867/3872*a - 3615/3872 : -18003/170368*a - 374575/170368 : 1) #
64-bit
sage: P.division_points(2)
[(1/2*a - 1/2 : 1/2*a - 5/2 : 1)] #
32-bit
[(1/8*a + 5/8 : -5/16*a - 9/16 : 1)] #
64-bit
}}}
On both my 32-bit OSX install and 64-bit sage.math, I get the 64-bit
answer. Are there any machines where the 32-bit answer occurs?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5156#comment:10>
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
-~----------~----~----~----~------~----~------~--~---
