#14472: some elliptic curve functions over number fields fail over relative
fields
--------------------------------------------------------+-------------------
Reporter: cremona | Owner:
cremona
Type: defect | Status:
needs_review
Priority: major | Milestone:
sage-5.10
Component: elliptic curves | Resolution:
Keywords: elliptic curve relative number field | Work issues:
Report Upstream: N/A | Reviewers:
Jeroen Demeyer
Authors: John Cremona | Merged in:
Dependencies: | Stopgaps:
--------------------------------------------------------+-------------------
Changes (by jdemeyer):
* reviewer: => Jeroen Demeyer
Old description:
> This was reported by Alejandro Argaez:
> {{{
> sage: K1.<w>=NumberField(x^2+x+1)
> sage: m=polygen(K1)
> sage: K2.<v>=K1.extension(m^2-w+1)
> sage: E=EllipticCurve([0*v,-432])
> sage: E.global_minimal_model()
> <boom>
> }}}
> The error is that the degree() function is called on the ring of integers
> of a relative number field.
>
> In fixing this bug (which should be easy) it would be a good idea to add
> relative examples to as many functions as possible in
> {{{ell_numberfield.py}}}
New description:
This was reported by Alejandro Argaez:
{{{
sage: K1.<w>=NumberField(x^2+x+1)
sage: m=polygen(K1)
sage: K2.<v>=K1.extension(m^2-w+1)
sage: E=EllipticCurve([0*v,-432])
sage: E.global_minimal_model()
<boom>
}}}
The error is that the degree() function is called on the ring of integers
of a relative number field.
In fixing this bug (which should be easy) it would be a good idea to add
relative examples to as many functions as possible in
{{{ell_numberfield.py}}}
'''apply''' [attachment:trac_14472-elliptic_curves_jd.patch]
--
Comment:
I made a new patch using PARI's `nfeltdiveuc`. This gives simpler code and
has the advantage that 1 is reduced, so there is no need to change the
field.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14472#comment:6>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
