Quelle  777   Sprache: unbekannt

#Von Dyck (7,7,7) group - infinite hyperbolic - small tidyint works better
_RWS := rec(
  isRWS := true,
  ordering := "shortlex",
  tidyint := 20,
  generatorOrder := [a,A,b,B],
  inverses := [A,a,B,b],
  equations := [
    [a^7,IdWord], [b^7,IdWord], [(a*b)^7,IdWord]
  ]
);