#Heineken group with balanced presentation.
#Computation of automatic structure proves it infinite.
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [x,X,y,Y,z,Z],
inverses := [X,x,Y,y,Z,z],
equations := [
[Z*X*Y*X*y*x*Y*x*y,IdWord],
[X*Y*Z*Y*z*y*Z*y*z,IdWord],
[Y*Z*X*Z*x*z*X*z*x,IdWord]
]
);
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
