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

Man lädt die Programme

(auf einmal laden: siehe hier).

Wenn man dann im Hyperflächenring ${}\mathbb {Q} [x,y,z,w]/(F)$ die symmetrische Hilbert-Kunz Funktion vom Ideal ${}(x^{2},y^{2},z^{2},w^{2})$ 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;