#trefoil knot group
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [a,a^-1,b,b^-1],
inverses := [a^-1,a,b^-1,b],
equations := [[b*a^-1*b,a^-1*b*a^-1]]
);
¤ Dauer der Verarbeitung: 0.8 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
