#Group of Mark Sapir
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [u,U,b,B,v,V],
inverses := [U,u,B,b,V,v],
equations := [
[u^2,v^2],
[b^2*v*b*u,u*B*v]
]
);
| Messung V0.5 |
|---|
| | | |
[ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
]