#8945: Cremona labels messed up
-----------------------------+----------------------------------------------
Reporter: davidloeffler | Owner: craigcitro
Type: defect | Status: new
Priority: major | Milestone: sage-5.0
Component: modular forms | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
It's possible to create elliptic curves over QQ by giving a Cremona label,
e.g. {{{EllipticCurve('225a1')}}}, or a short form which gives you the
optimal curve, {{{EllipticCurve('225a')}}}. It's also possible to create
weight 2 newforms using a similar constructor, {{{Newform('225a')}}} etc.
The problem is that they don't match! For instance:
{{{
sage: EllipticCurve('225c').aplist(50)
[-1, 0, 0, 0, 4, 2, 2, 4, 0, 2, 0, 10, -10, -4, 8]
sage: f = Newform('225c', names='a'); [f[p] for p in prime_range(50)]
[0, 0, 0, -5, 0, -5, 0, -1, 0, 0, -7, 10, 0, -5, 0]
}}}
This is pretty embarrasing, particularly because abelian varieties go with
newforms rather than with elliptic curves, meaning that
{{{AbelianVariety('225c')}}} should be the same object as
{{{EllipticCurve('225c')}}} but it isn't!
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8945>
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.
