1#infinite cyclic group
2_RWS := rec(
3  isRWS := true,
4  ordering := "shortlex",
5  generatorOrder := [a,A],
6  inverses := [A,a],
7  equations := []
8);
9