Ask Your Question
0

Defining Coxeter groups

asked 2012-10-16 05:04:07 -0500

gdkerr gravatar image

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.

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted
0

answered 2012-10-16 17:45:48 -0500

benjaminfjones gravatar image

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).

edit flag offensive delete link more

Comments

OK, thanks for the response.

gdkerr gravatar imagegdkerr ( 2012-10-16 18:30:48 -0500 )edit

Your Answer

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

Add Answer

Question Tools

Stats

Asked: 2012-10-16 05:04:07 -0500

Seen: 54 times

Last updated: Oct 16 '12

Related questions