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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Syntax: StandardReferenceList();

Dies ist die Referenz-Liste für 3 Ideal-Erzeuger im Kurven-Fall, d.h. die Liste der symmetrischen Codimensionen für das mit einer Null erweiterte Parameterideal im Polynomring in 2 Variablen (bis zur 30-ten symmetrischen Potenz). Siehe auch mittlere Spalte hier.

Define StandardReferenceList()
    L:=[1, 4, 10, 20, 35, 56, 84, 120, 165, 220, 286, 364, 455, 560, 680, 816, 969, 1140, 1330, 1540, 
         1771, 2024, 2300, 2600, 2925, 3276, 3654, 4060, 4495, 4960];
	Return L;
EndDefine;