#18152: Universal Cyclotomic Field implementation using libgap
-------------------------------------+-------------------------------------
Reporter: vdelecroix | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.7
Component: number fields | Resolution:
Keywords: | Merged in:
Authors: Vincent Delecroix | Reviewers: Jean-Philippe Labbé
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/vdelecroix/18152 | b8e369b03f2f444c6af07b77038610e43e625db8
Dependencies: #18153 | Stopgaps:
-------------------------------------+-------------------------------------
Description changed by vdelecroix:
Old description:
> Sage ships an implementation of the Universal Cyclotomic Field (in
> `sage.rings.universal_cyclotomic_field.*`) that is slower and less
> reliable than what is in gap. We propose in this ticket an implementation
> based on libgap.
>
> It fixes some issues about the old implementation:
> - #14240: Universal cyclotomic field breaks for moderate order
> - #16631: Universal Cyclotomic Field doesn't handle int and Integer the
> same
> - #16130: Matrices over Universal Cyclotomic field failing to
> echelonize/inverse
> - #17117: !UniversalCyclotomicField elements considered real
>
> And is about 10x faster (see [comment:10 comment:10]).
>
> Possible follow up:
> - switch to Cython
> - implement dense matrices by wrapping libgap matrices (see also #16116)
New description:
Sage ships an implementation of the Universal Cyclotomic Field (in
`sage.rings.universal_cyclotomic_field.*`) that is slower and less
reliable than what is in gap. We propose in this ticket an implementation
based on libgap.
It fixes some issues about the old implementation:
- #14240: Universal cyclotomic field breaks for moderate order
- #16631: Universal Cyclotomic Field doesn't handle int and Integer the
same
- #16130: Matrices over Universal Cyclotomic field failing to
echelonize/inverse
- #17117: !UniversalCyclotomicField elements considered real
And is about 10x faster (see [comment:10 comment:10]) except for
operations on very sparse elements with very large conductors (see e.g.
[comment:23 comment:23], [comment:27 comment:27] and [comment:28
comment:28]).
Possible follow up:
- switch to Cython
- implement dense matrices by wrapping libgap matrices (see also #16116)
- slowness in conjugation? #18207 (see also [comment:28 comment:28], this
is unavoidable because gap uses a dense representation of elements)
- interface with libgap polynomials (#18266)
--
--
Ticket URL: <http://trac.sagemath.org/ticket/18152#comment:34>
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.
