Quelle  ab2  Sprache: unbekannt

#free abelian group of rank 2
_RWS := rec(
  isRWS := true,
  ordering := "shortlex",
  tidyint := 10,
  generatorOrder := [a,b,A,B],
  inverses := [A,B,a,b],
  equations := [
 [b*a,a*b]
  ]
);