Suppose we are given a group $G$ in terms of generators $t_1, ..., t_n$ which are order 2 in $S_m$ (however we don't assume anything other than that these elements generate $G$ and have order 2). Since $G$ is finite and generated by transpositions, it must have a root system. What is the best known algorithm for finding the root system?most efficient way to determine:
- If $G$ is abstractly isomorphic to a Coxeter group
- Assuming yes, a Coxeter system for $G$
- Assuming no, a presentation of $G$ as a quotient of a Coxeter group