eldorado.tu-dortmund.de/server/api/core/bitstreams/7edb7282-df33-43f5-9f53-60b819bb8fbd/content
selbstdualer Code. Dann ist
P1(C) = λ1p 8 1 + λ2p
4 1p4 + λ3p
2 4 ∈ C[p1, p4]16
für geeignete λ1, λ2, λ3 ∈ Q. Das extremale Polynom p(X0, X1) in C[p1, p4]16 hat die Form
p(X0, X1) = X16 0 + 112X10
0 X [...] Es gilt
P1(C) ∈ C[X0, X1] H1 = C[p1, p4]
mit p1(X0, X1) := X2 0 +X2
1 und p4(X0, X1) := X2 0X
2 1 (X2
0 −X2 1 )2.
Satz 4.9 (Gleason) Sei C ⊂ Fn
2 ein doppeltgerader selbstdualer Code. Es gilt
P1(C) ∈ C[X0 [...] Die Zähler P3(G(E+ 7 )) bzw. P3(G(O8)) werden mit den Program-
men P3GE7plus.mag bzw. P3GO8.mag berechnet. Die Ergebnisse dieser Berech- nungen stehen in den Dateien P3GE7pluszaehler bzw. P3GO8zaehler …