Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#Von Dyck (2,3,5) group - isomorphic to A_5
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [a,b,B],
inverses := [a,B,b],
equations := [
[b*b,B], [a*B*a*B*a,b*a*b*a*b]
]
);
[ Dauer der Verarbeitung: 0.30 Sekunden
]