Hi, > To get the implementation of Coxeter groups in Sage, there is a lot of > things to do yourself.
First, you need to install gap3 WITH THE chevie package on your machine. You can get a compiled version with everything ready to go on Jean Michel's webpage, http://www.math.jussieu.fr/~jmichel/gap3/. Then you should have gap3 in your bin folder in order to be able to run gap3 from within the sage folder. After that, you don't need to tell sage how to start gap3, it should know it by itself. After that, you should be able to run sage: from sage.combinat.root_system.complex_reflection_group import is_chevie_available sage: is_chevie_available() True Then, you can directly use gap3/chevie from within sage by running sage: gap3.console() For documentation, see http://www.math.jussieu.fr/~jmichel/gap3/htm/ http://www.math.jussieu.fr/~jmichel/gap3/htm/chap069.htm http://www.math.jussieu.fr/~jmichel/gap3/htm/chap070.htm To work with Coxeter groups directly in sage, you should have the sage-combinat queue installed. Then you can start playing with the new implementation of reflection groups and Coxeter groups, both make partial use of the implementations in chevie (thanks to Jean Michel again for answering all my questions on that! The code will hopefully by in the main sage soon.). Here are two things that should work immediately: sage: W = ComplexReflectionGroup((1,1,5)) sage: W Irreducible finite complex reflection group of rank 4 and type (1,1,5) sage: W = CoxeterGroup(['A',4]) sage: W Irreducible finite Coxeter group of rank 4 and type A4 So, you see that the same reflection group is slightly different if you construct it as a complex reflection group, or as a Coxeter group, you find some info also in the doc file sage: ComplexReflectionGroup? sage: ReflectionGroup? This package is still UNDER CONSTRUCTION, so it is definitely BUGGY, and methods might CHANGE their behaviour or get RENAMED. But feel free to play around! If you have any questions (or have further problems with the installation), find bugs, or think behaviour is strange or unexpected, or if some method you would like is missing, PLEASE LET ME KNOW in order to make everything run smoothly and nice! Best, Christian -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
