[math-fun] Algorithm for computing linear representation of a Coxeter group?