Quelle  s3   Sprache: unbekannt

#Symmetric group S_3
_RWS := rec(
  isRWS := true,
  ordering := "shortlex",
  generatorOrder := [a,b],
  inverses := [a,b],
  equations := [
  [b*a*b,a*b*a]
]
);