Learn More
Points of an orbit of a finite Coxeter group G, generated by n reflections starting from a single seed point, are considered as vertices of a poly-tope (G-polytope) centered at the origin of a real n-dimensional Euclidean space. A general efficient method is recalled for the geometric description of G-polytopes, their faces of all dimensions and their(More)
Word equations are combinatorial equalities between strings of symbols, variables and functions, which can be used to model problems in a wide range of domains. While some complexity results for the solving of specific classes of equations are known, currently there does not exist a systematic equation solver. We present in this paper a reduction of the(More)
  • 1