#monoid presentation of F(2,7) - should produce a monoid of length 30 #which is the same as the group, together with the empty word. #This is a very difficult calculation indeed, however.
_RWS := rec(
isRWS := true,
ordering := "recursive",
maxstoredlen := [15,15],
generatorOrder := [a,b,c,d,e,f,g],
inverses := [],
equations := [[a*b,c], [b*c,d], [c*d,e], [d*e,f], [e*f,g], [f*g,a], [g*a,b]
]
);
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.