Quelle f2_unusual
Sprache: unbekannt
|
|
#free group of rank2 with lots of redundant generators
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [a,A,b,B,c,C,d,D,e,E],
inverses := [A,a,B,b,C,c,D,d,E,e],
equations := [
[a*d*d,IdWord],
[b*d*d*d,IdWord],
[c*d*d*d*d*d*e*e*e,IdWord]
]
);
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
2026-03-28
|