#11975: Chow-Heegner points
-------------------------------+--------------------------------------------
Reporter: was | Owner: cremona
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.8
Component: elliptic curves | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
-------------------------------+--------------------------------------------
Comment(by cremona):
The story so far: patches part2 and part3 address all the points Imade
in the frist two parts of my review, with one exception. As I emailed
William independently the test for Gamma0(N)-equivalence of points in the
upper half-plane is incorrect and can return True when it should be False,
for example:
{{{
sage: N=5
sage: z1=CDF(-2,1)/5
sage: z2=CDF(2,1)/5
sage: is_gamma0N_equivalent(z1,z2,5,1e-10)
True
}}}
This is wrong since (up to sign) the only matrices in SL(2,Z) taking z1 to
z2 are
[[1,0],[-4,1]] and [[2,-1],[-3,2]], neither of which is in Gamma0(5):
{{{
sage: g1=SL2Z([1,0,-4,1])
sage: g2=SL2Z([2,-1,-3,2])
sage: abs(g1.acton(z2) -z1)
6.20633538312e-17
sage: abs(g2.acton(z2) -z1)
2.00148302124e-16
}}}
I'll now continue the review...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11975#comment:11>
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.
