Projekt:Computeralgebra-Berechnungen/Symmetrische Hilbert-Kunz Theorie/Programm laufen lassen

Man lädt die Programme

Projekt:CoCoA-Berechnungen/Symmetrische Hilbert-Kunz Theorie/NormalBasisM

Projekt:CoCoA-Berechnungen/Symmetrische Hilbert-Kunz Theorie/SymIndexRecursive

Projekt:CoCoA-Berechnungen/Symmetrische Hilbert-Kunz Theorie/SymSyzCoker

(auf einmal laden: siehe hier).

Wenn man dann im Hyperflächenring die symmetrische Hilbert-Kunz Funktion vom Ideal ausrechnen möchte, so geschieht dies mit.

For N:=1 To 20 Do
PrintLn SymSyzCoker(F, [x^2,y^2,z^2,w^2], N);
EndFor;

Wenn man in positiver Charakteristik rechnen möchte, so muss man einen neuen Grundpolynomring definieren.

S::=Z/(11)[x,y,z,w];
Use S;