#This group is actually D_22 (although it wasn't meant to be).
#All generators are unexpectedly involutory.
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [a,A,b,B,c,C,d,D,e,E,f,F],
inverses := [A,a,B,b,C,c,D,d,E,e,F,f],
equations := [
[a*C*A*d,IdWord],
[b*f*B*E,IdWord],
[c*e*C*D,IdWord],
[d*F*D*a,IdWord],
[e*b*E*A,IdWord],
[f*C*F*B,IdWord]
]
);
[ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
]