#Group of Mark Sapir
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [u,U,v,V,b,B,r,R],
inverses := [U,u,V,v,B,b,R,r],
equations := [
[u^2,v^2],
[b^2*v*b*u,u*B*v],
[r*U*B*v*b,U*B*v*b*r]
]
);
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
