#A knot group
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [x,X,y,Y,t,T],
inverses := [X,x,Y,y,T,t],
equations := [
[t*x*T*X*Y*X,IdWord],
[t*y*T*Y*X,IdWord]
]
);
[Dauer der Verarbeitung: 0.4 Sekunden, vorverarbeitet 2026-10-27]
