#11347: global_minimal_model function is sometimes wrong over number fields,
when
input model isn't integral.
-------------------------------+--------------------------------------------
Reporter: was | Owner: cremona
Type: defect | Status: new
Priority: critical | Milestone: sage-4.7.1
Component: elliptic curves | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
-------------------------------+--------------------------------------------
The discriminant and conductor of a global minimal model must be divisible
by the same primes. However the following code (extracted from examples
computed by Joanna Gaski), illustrates the Sage {{{global_minimal_model}}}
function producing a model that can't possibly be a global minimal model
(since the conductor and discriminant are divisible by different primes).
{{{
sage: E = EllipticCurve(K,[0,0,0,-1/48,161/864]).global_minimal_model(); E
Elliptic Curve defined by y^2 = x^3 + (-1)*x^2 + 12 over Number Field in g
with defining polynomial x^2 - x - 1
sage: E.conductor().factor()
(Fractional ideal (3)) * (Fractional ideal (-2*g + 1))
sage: E.discriminant().factor()
(-1) * 2^12 * 3 * (-2*g + 1)^2
}}}
Again, the bug is that the global_minimal_model function is assuming that
its input is integral, and the fix is easy, probably.
{{{
sage: E =
EllipticCurve(K,[0,0,0,-1/48,161/864]).integral_model().global_minimal_model();
E
Elliptic Curve defined by y^2 + x*y + y = x^3 + x^2 over Number Field in g
with defining polynomial x^2 - x - 1
sage: E.conductor().factor()
(Fractional ideal (3)) * (Fractional ideal (-2*g + 1))
sage: E.discriminant().factor()
(-1) * 3 * (-2*g + 1)^2
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11347>
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.
