#14476: non-integral models can cause a bug in local_data for elliptic curves
over
number fields
---------------------------+-----------------------------------------------
Reporter: | Owner: cremona
wuthrich | Status: needs_work
Type: defect | Milestone: sage-5.12
Priority: major | Resolution:
Component: | Merged in:
elliptic curves | Reviewers: Frédéric Chapoton, John Cremona
Keywords: | Work issues:
local_data | Commit:
Authors: Chris | Stopgaps:
Wuthrich |
Report Upstream: N/A |
Branch: |
Dependencies: |
---------------------------+-----------------------------------------------
Comment (by jdemeyer):
Indeed, the uniformizer is not unique:
On 64-bit:
{{{
sage: K.<t> = NumberField(x^4 - x^3 - 3*x^2 - x + 1)
sage: [K.uniformizer(P) for P,e in factor(K.ideal(5))]
[t^2 - t + 1, t^3 - t^2 - 4*t - 1, -t^3 + 2*t^2 + 3*t - 1]
}}}
On 32-bit:
{{{
sage: K.<t> = NumberField(x^4 - x^3 - 3*x^2 - x + 1)
sage: [K.uniformizer(P) for P,e in factor(K.ideal(5))]
[t^2 - t + 1, t^2 - t - 1, -t^3 + 3*t + 2]
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/14476#comment:18>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
