# F21 SL32 P27 triangle of groups
_RWS:= rec(
isRWS:=true,
generatorOrder:=[x,X,y,Y,z,Z],
inverses:=[X,x,Y,y,Z,z],
ordering:="shortlex",
equations:=[[x*x*x,IdWord],
[y*y*y,IdWord],
[z*z*z,IdWord],
[z*x*z,x*z*x],
[x*y*X*Y,y*X],
[(y*z)^2,Z*Y],
[(y*Z)^2,z*Y]]
);
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
|
|
