Quelle  f2_unusual   Sprache: Text

#free group of rank2 with lots of redundant generators
_RWS := rec(
  isRWS := true,
  ordering := "shortlex",
  generatorOrder := [a,A,b,B,c,C,d,D,e,E],
  inverses := [A,a,B,b,C,c,D,d,E,e],
  equations := [
    [a*d*d,IdWord],
    [b*d*d*d,IdWord],
    [c*d*d*d*d*d*e*e*e,IdWord]
  ]
);