Projekt:Computeralgebra-Berechnungen/Symmetrische Hilbert-Kunz Theorie/Programm laufen lassen
Erscheinungsbild
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;