Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#Von Dyck (3,3,4) group - infinite hyperbolic - small tidyint works better
_RWS := rec(
isRWS := true,
ordering := "shortlex",
tidyint := 20,
generatorOrder := [a,A,b,B],
inverses := [A,a,B,b],
equations := [
[a^3,IdWord], [b^3,IdWord], [(a*b)^4,IdWord]
]
);
[ Dauer der Verarbeitung: 0.29 Sekunden
]
