■DE群多面体の面数公式(その720)
(その213)にて,321の2番目だけが二重節点になっている場合を計算.
1=1・m1−1・m2
f1=16・m1−0・m2
f2=80・m1−0・m2+1・m3
f3=160・m1−0・m2+0・m3+1・m4
f4=120・m1−0・m2+0・m3+0・m4+1・m5
f5=26・m1−0・m2+0・m3+0・m4+0・m5+1・m6
f6=1・m1−0・m2+0・m3+0・m4+0・m5+0・m6+1・m7
f7=0・m1−0・m2+0・m3+0・m4+0・m5+0・m6+0・m7+1・m8
最後の二重節点の位置はE6である.
E6の局所幾何(1,16,80,160,120,10+16,1)より
m=(2,1,16,80,160,120,26,1)としてみる.
f0=1,f1=32,f2=176,f3=400,f4=400,f5=172,f6=28,f7=1→交代和0 (OK)
===================================