Projekt:Computeralgebra-Berechnungen/Symmetrische Hilbert-Kunz Theorie/Syz2/Polynomring in drei Variablen