#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:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/vdelecroix/18152                 |  e4a352468cf9c018b9bdf148a3de03793a111b9e
   Dependencies:  #18153             |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by vdelecroix):

 Hello,

 I pushed an experimental branch with both implementations at
 `public/18152`. It is certain that most doctest fail but it is not the
 purpose. With it you can do
 {{{
 sage: UCF_native.<E_native> = UniversalCyclotomicField_native()
 sage: UCF_libgap.<E_libgap> = UniversalCyclotomicField_libgap()
 sage: UCF_native
 Universal Cyclotomic Field (native)
 sage: UCF_libgap
 Universal Cyclotomic Field (libgap)
 }}}
 and play around with both implementations.


 Replying to [comment:20]: it is true that `GaloisCyc` is slow in GAP (and
 it is not `PrimeResidues` which takes time). I got with a little bit
 smaller example
 {{{
 sage: a = E_libgap( 2^9 * 3^4 )
 sage: b = E_native( 2^9 * 3^4 )
 sage: %time l = a.galois_conjugates()
 CPU times: user 6.92 s, sys: 4 ms, total: 6.92 s
 Wall time: 6.9 s
 sage: %time l = b.galois_conjugates()
 CPU times: user 352 ms, sys: 52 ms, total: 404 ms
 Wall time: 387 ms
 }}}

 Replying to [comment:21]: I do not think that the issues in the four
 tickets mentioned in the description are that big (and one of them has a
 fix).

 Vincent

--
Ticket URL: <http://trac.sagemath.org/ticket/18152#comment:22>
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.

Reply via email to