On Apr 8, 7:37 am, Christian Stump <christian.st...@gmail.com> wrote: > Hi there, > > I just pushed finite complex reflection groups which I was > implementing these days - the entry point is FiniteReflectionGroup. I > also added a categorial framework. I wanted to see if someone (e.g. > Nicolas?) could have a look as I never did that before... > > Another question is - as for Coxeter groups (which, I guess, should > eventually inherit from reflection groups) - if we could make it that > the elements are 1. unique (do we want that?) and 2. permutations and > matrices at the same time. > > Also: > > - is there a Sage implementation of permutation groups, or only the > gap implementation (it takes very long to go through the elements of a > permutation group, even in small examples)? Could you provide an example? GAP is very quick in enumerating the elements of a permutation group (it has a highly optimized code written in C to do the sorts of things related to permutation groups) – it might take a long time to send these elements to Sage, currently. This is actually due to an inefficiency in recent Linux kernels (e.g. ones distributed with Debian and Ubuntu). There is an ongoing project to speed this up in a serious way, so circumvent the use of IPC by creating a libGAP. See http://trac.sagemath.org/sage_trac/ticket/6391 You are welcome to try helping with it if you have time.
On the other hand, it could be the case that enumerating all the group elements is not implemented very efficiently, as this is not what one would ever do! Why would you need such a feature, except for teaching purposes? > - there are several things not working for finite reflection groups > due to problems with matrices over the UCF (e.g., > reflecting_hyperplanes due to the fact that I cannot compute the > kernel of a matrix). UCF? > > Best, Christian Dmitii -- 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
