#7935: local_data for elliptic curves over number fields
-------------------------------+--------------------------------------------
Reporter: wuthrich | Owner: cremona
Type: defect | Status: needs_work
Priority: major | Milestone: sage-4.3.1
Component: elliptic curves | Keywords: elliptic curve, number fields,
local data, tamagawa
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
Comment(by cremona):
This is very strange. For that curve E2, I sometimes get
{{{
Elliptic Curve defined by y^2 + a*x*y + (a+1)*y = x^3 + (a+1)*x^2 +
(12289755603565800754*a-75759141535687466985)*x +
(51556320144761417221790307379*a-317814501841918807353201512829) over
Number Field in a with defining polynomial x^2 - 38
}}}
but sometimes I get
{{{
Elliptic Curve defined by y^2 + a*x*y + (a+1)*y = x^3 + (a+1)*x^2 +
(368258520200522046806318444*a-2270097978636731786720859345)*x +
(8456608930173478039472018047583706316424*a-52130038506793883217874390501829588391299)
over Number Field in a with defining polynomial x^2 - 38
}}}
on the same machine. (Note that both are valid, since both are models
with a unit Discriminant so are certainly global minimal models.)
The only way round this I can see in the short term is to remove the line
in the doctest which displays E2 itself. What do people think?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7935#comment:10>
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.
