Spracherkennung für: .gi vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
# Given as a matrix a kG-homomorphism d from kG^n to kG^m
# for some n and m, this function determines which
# elements of kG^n generate ker(d) as a kG-submodule.
InstallGlobalFunction(GeneratorsOfRadical,function(d,L)
# L should be the minimal list of g-1's acting on kG.
local N,n,NG;
N:=TriangulizedNullspaceMat(d);
NG:=BaseMat(Concatenation(List(L,x->ActDiagonally(N,x))));
return BaseSteinitzVectors(N,NG).factorspace;
end
);
[Dauer der Verarbeitung: 0.20 Sekunden, vorverarbeitet 2026-04-27]
