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

Syntax: NormalBasisM(M);

M ist ein freier Modul ueber dem Polynomring mit Koeffizienten in einem Körper, gegeben in der Form Module(List of Vectors).

Berechnet eine k-Vektorraum-Basis von P^R/M, wobei R=Rang(M) und k der Koeffizientenkoerper von P. Entnommen aus einem frei verfügbaren Tutorial von einer CoCoA Summer School.