#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:
Authors: John Cremona | Merged in:
Dependencies: | Stopgaps:
--------------------------------------------------------+-------------------
Comment (by jdemeyer):
All the examples seem to be ''quadratic'' number fields, is this
intentional?
I don't know why Sage returns the basis of `ZK` like that, because it's
not what PARI gives:
{{{
sage: K.<a> = NumberField(x^2-5)
sage: K.integral_basis()
[1/2*a + 1/2, a]
sage: K._pari_integral_basis()
[1, 1/2*y - 1/2]
}}}
As for reducing an element modulo an ideal (which is what you do here),
you could use PARI's `nfeltreduce()`.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14472#comment:4>
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.
