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

SymSyzCoker

Syntax: SymSyzCoker(F,L,N);

(F ist ein Polynom, L Liste von Polynomen, N natürliche Zahl.)

Berechnet den Kokern der globalen Auswertung von

${}0\rightarrow S^{N}(Syz(L[1],\ldots ,L[t]))\rightarrow S^{N}(\bigoplus _{i=1}^{t}{\mathcal {O}}(-d_{i}))\rightarrow S^{N-1}(\bigoplus _{i=1}^{t}{\mathcal {O}}(-d_{i}))\rightarrow 0\,$

auf Proj R, mit R=Poly.ring/(F).