Quelle  cox535   Sprache: unbekannt

#Coxeter group  O - 5 - O  -  O - 5 - O
_RWS := rec(
  isRWS := true,
  ordering := "shortlex",
  generatorOrder := [a,b,c,d],
  inverses := [a,b,c,d],
  equations := [
    [a*a,IdWord],
    [b*b,IdWord],
    [c*c,IdWord],
    [d*d,IdWord],
    [b*a*b*a*b,a*b*a*b*a],
    [c*a,a*c],
    [d*a,a*d],
    [c*b*c,b*c*b],
    [d*b,b*d],
    [d*c*d*c*d,c*d*c*d*c]
  ]
);