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

Syntax: MKSCD(L,q,R)

L ist eine Liste von Polynomen, q natürliche Zahl, R ein Ring (Polynomring oder Quotient eines Polynomrings).

Berechnung der mehrfach korrigierten symmetrischen Codimension als

${}MKSC:=\sum _{m}{\big (}h^{1}(S^{q}(Syz_{1})(m))-\sum _{k\geq 0}(-1)^{k}h^{1}({\mathcal {T}}_{q}^{(k)}(m)){\big )}.\,$