#A generator, but trivial.
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [a,A],
inverses := [A,a],
equations := [[a,IdWord]]
);
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet am 2026-04-26)
¤
*© Formatika GbR, Deutschland