Defining Coxeter groups

edit

There is good support for constructing finite coxeter groups (see also Meinolf Geck's pycoxmodule http://homepages.abdn.ac.uk/m.geck/pa...), but in general construction of indefinite Coxeter groups is lacking in Sage.

Of course, if you have a finite presentation or a linear representation of any group you can construct it in Sage using the standard group construction functions, but you aren't necessarily going to be able to compute much with them unless specialized algorithms for them have been implemented (like there are for permutation groups).