Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#Presentation of group A_4 regarded as monoid presentation
# - gives infinite monoid.
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [a,b,B],
inverses := [],
equations := [
[b*b,B], [B*a*B,a*b*a]
]
);
[ Dauer der Verarbeitung: 0.26 Sekunden
]