■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)
===================================