Quelle  hamish23  Sprache: unbekannt

#One of a family of groups proposed by Hamish Short
_RWS := rec(
  isRWS := true,
  ordering := "shortlex",
  generatorOrder := [a,A,b,B,c,C],
  inverses := [A,a,B,b,C,c],
  equations := [
    [C^2*A*c^2*a*C^3*B*c^3*b,c]
  ]
);