#13958: number of generators of number field ideal blows up under multiplication
-----------------------------------------------------------+----------------
Reporter: mstreng | Owner:
davidloeffler
Type: defect | Status:
new
Priority: major | Milestone:
sage-5.7
Component: number fields | Resolution:
Keywords: number field ideal multiplication power | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps:
-----------------------------------------------------------+----------------
Comment (by nbruin):
I don't know how it is exactly in pari, but representing an ideal with
generators is not always cheaply done. Some ideal operations more
naturally produce a basis of the ideal as a ZZ-basis (or a pseudobasis for
relative ideals). So I expect that internally, you should have the
possiblity of either (or both) representations and lazily compute one
representation from the other. In fact, internally it would probably be
good to store them as power products too (being a far more compact
representation when doing factor-basis based computations)
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13958#comment:1>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
