#16743: Extend IsogenyClass_EC to work over number fields
-------------------------------------+-------------------------------------
Reporter: cremona | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.4
Component: elliptic curves | Resolution:
Keywords: isogeny class | Merged in:
Authors: John Cremona | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/cremona/ticket/16743 | 06d9eb2226151a35bb2d3779e5309f4d066af8ca
Dependencies: #11327, #16764, | Stopgaps:
#16806 |
-------------------------------------+-------------------------------------
Comment (by jdemeyer):
Replying to [comment:15 cremona]:
> Background: I am making databases of things like elliptic curves over
number fields, and am having to be very explicit indeed about how various
objects are ordered.
Before worrying about ideals, first consider the ring O_K. Since the HNF
is essentially coordinates w.r.t. to a basis, the chosen Z-basis of O_K
also matters a lot. For quadratic fields, one can easily define a
canonical basis, but in higher degree that gets a lot more tricky.
--
Ticket URL: <http://trac.sagemath.org/ticket/16743#comment:20>
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/d/optout.
