■DE群多面体の面数公式(その610)

 321の2番目だけが二重節点になっている場合

f0=1,f1=32,f2=176,f3=400,f4=400,f5=172,f6=28,f7=1→交代和0  (OK)

を元にして,421の3番目だけが二重節点になっている場合を計算.

E6の局所幾何(1,16,80,160,120,10+16,1)より

1=1・m1−1・m2+1・m3

f1=32・m1−16・m2+0・m3

f2=176・m1−80・m2+0・m3

f3=400・m1−160・m2+0・m3+1・m4

f4=400・m1−120・m2+0・m3+0・m4+1・m5

f5=172・m1−26・m2+0・m3+0・m4+0・m5+1・m6

f6=28・m1−1・m2+0・m3+0・m4+0・m5+0・m6+1・m7

f7=1・m1−0・m2+0・m3+0・m4+0・m5+0・m6+0・m7+1・m8

f8=0・m1−0・m2+0・m3+0・m4+0・m5+0・m6+0・m7+1・m8+1・m9

最後の二重節点の位置はE6である.

E6の局所幾何(1,16,80,160,120,10+16,1)より

m=(3,3,1,16,80,160,120,26,1)としてみる.

f0=1,f1=48,f2=288,f3=736,f4=920,f5=598,f6=201,f7=29,f8=1→交代和0  (OK)

===================================