#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 cremona):
OK, so I would like some feedback on the change in ideal comparison.
Quite a lot of doctests will need changing in sage/rings/number_field (I
have not yet gone further), which looks bad BUT thee seem to be all due
not to the addition of using a norm comparison first, but in the change
from comparing pari_hfn() and pari_hnf().sage(), which in particular
causes the primes in factorizations to be ordered differently. This looks
like a big negative -- but see my earlier remark: I don't think we can
trust the comparison of two Pari-GEN objects to mean what we think, so
that although the old comparison appears to be comaring the HNFs of the
ideals, it is not really doing that as far as I can see.
--
Ticket URL: <http://trac.sagemath.org/ticket/16743#comment:11>
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.
