# Defining Coxeter groups

Is there a way to define a Coxeter group from its matrix so that one can use some of the methods in coxeter_groups? The groups I have in mind are indefinite or hyperbolic.

Defining Coxeter groups

add a comment

1

There is good support for constructing finite coxeter groups (see also Meinolf Geck's **pycox**module 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).

Please start posting anonymously - your entry will be published after you log in or create a new account.

Asked: ** 2012-10-16 12:04:07 +0200 **

Seen: **227 times**

Last updated: **Oct 17 '12**

How can I list all the elements of the affine Coxeter group of type A having a specific length

Path between representatives and normal forms in Coxeter groups

Automorphism group of Coxeter groups

Entries in canonical_matrix for Coxeter groups

Finding generalised braid relations for finite Coxeter groups with Sage

How to find the element with maximal length in a double coset of a Coxeter group?

Equation for hyperplane of a reflection - Try to do TODO on reflection group sage page

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.