Cool. I'd be happy to review that after Wednesday (when I have an application due). I can provide the perspective of someone who works mostly within sage.rings rather than sage.combinat. David
On Sat, Oct 16, 2010 at 18:17, Christian Stump <christian.st...@gmail.com>wrote: > > 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<sage-devel%2bunsubscr...@googlegroups.com> > For more options, visit this group at > http://groups.google.com/group/sage-devel > URL: http://www.sagemath.org > -- 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
