# Z wr C2 with - only works with correct gen order.
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [b,B,a,A,t],
inverses := [B,b,A,a,t],
equations := [
[t^2,IdWord],
[b*a,a*b],
[t*a*t,b]
]
);
| Messung V0.5 in Prozent |
|---|
| | | |
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-06-18]