#6390: Implement elliptic logarithms (complex case)
-------------------------------+--------------------------------------------
Reporter: cremona | Owner: cremona
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.4
Component: elliptic curves | Keywords: elliptic curve logarithm
Author: John Cremona | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
Comment(by rlm):
Replying to [comment:5 cremona]:
> I am CC'ing rlm since after installing the optional database of curves
(and generators) and testing all of sage/schemes/elliptic_curves, I found
that there were some failures in heegner.py, mainly caused by E.gens()
sometimes now producing different generators. I fixed almost all of these
(since I think that as a matter of principle these doctests should not be
dependent on the database not being installed!) but there are two I cannot
fix (lines 1409 and 1415 of heegner.py) and I am hoping that Robert M will
be able to.
The following change fixes this, but I can't vouch for its advisability.
{{{
--- a/sage/schemes/elliptic_curves/heegner.py Sat Mar 20 15:52:55 2010
+0000
+++ b/sage/schemes/elliptic_curves/heegner.py Tue Mar 23 08:39:11 2010
-0700
@@ -4165,7 +4165,7 @@
# etc" mentioned in Watkins' article... which involves local
# heights.
E = self.curve() # over Q
- v = sum([list(n*w) for w in E.gens()] + [list(w) for w in
E.torsion_points()], [])
+ v = sum([list(n*w) for w in E.gens(use_database=False)] +
[list(w) for w in E.torsion_points()], [])
# note -- we do not claim to prove anything, so making up a
factor of 100 is fine.
max_denominator = 100*max([z.denominator() for z in v])
try:
}}}
When testing on my laptop, I came across another doctest error, and I've
included a patch for it.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6390#comment:7>
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.
