Quelle  c2   Sprache: unbekannt

#Cyclic group of order 2
_RWS := rec(
  isRWS := true,
  ordering := "shortlex",
  generatorOrder := [a],
  inverses := [a],
  equations := [[a^2,IdWord]]
);