Ich habe nur mal ein intrinsic implementiert um zwei GSets zu vereinigen um mal etwas mit MAGMA zu arbeiten. Das Beispiel von B2 kann man dann einfach so erzeugen
G:=SymmetricGroup(3); X:=joint(GSet(G),GSet(G,{0},{<0,g,0>: g in G})); C:=ConvolutionCategory(X);
Nur zwei Probleme. Beim Namen 'join' gab es irgendwie ein Problem, liegt das daran dass dies sonst anders in MAGMA benutzt wird?
Und ich kann irgendwie nicht auf 'master' pushen. Es heißt die branch ist protected, aber vllt habe ich auch wenig Ahnung wie man mit git umgeht.