#16743: Extend IsogenyClass_EC to work over number fields
-------------------------------------+-------------------------------------
Reporter: cremona | Owner:
Type: enhancement | Status: needs_review
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 cremona):
The last push only does one small thing really, the rest being to merge in
other branches which have positive review or are merged. The actual
change ("tweak") is to the comparison of ideals in number fields using the
HNF: we were comparing the values of I.pari_hnf() which is a wrapped Pari
GEN, and did not agree with what was intended, which comes from comparing
I.pari_hnf().sage().
This is actually important for the purpose of ordering the primes in a
number field, first by norm and then by their HNF. The observant reviewer
may notice one doctest change in the prime_ideals() function, but this is
a red herring caused by merging in the pari upgrade to 2.7.1 which gives a
different generator for one ideal. For an actual change which the tweak
causes you can look at the two primes of norm 17 in Q(i).
--
Ticket URL: <http://trac.sagemath.org/ticket/16743#comment:8>
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.
