> Is there a reason you can't use finite cyclotomic fields? These exist in > Sage and are reasonably well optimized. And GAP supports matrix groups over > them, though as David Joyner mentioned, I don't think that functionality is > wrapped from Sage. Defining matrix groups over finite cyclotomic fields and > wrapping some Gap functionality for them would be cool.
the reason is that I want to implement complex reflection groups in sage, and for those it is important to have fast ways to compute with roots of unity of different orders at the same time. My patch for the universal cyclotomic field is fairly finished - if you are interested in having a look, you can download it from the trac server at http://trac.sagemath.org/sage_trac/ticket/8327 (I will upload a newest version later today). CyclotomicField can still do much more, but everything that I have in UCF is very fast and much faster than for CF, for example Galois conjugates and thus inverses of elements can be computed in a very efficient way. To do complex reflection groups, I can as well call gap directly to provide matrix groups for my purposes. But as I said, I hoped to get matrix groups work directly with it. Best regards, Christian -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
