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