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

 (その214)にて,421の2番目だけが二重節点になっている場合を計算.

1=1・m1−1・m2

f1=27・m1−0・m2

f2=216・m1−0・m2+1・m3

f3=720・m1−0・m2+0・m3+1・m4

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

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

f6=99・m1−0・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

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

E7の局所幾何(1,27,216,720,1080,648,27+72)

より

m=(2,1,27,216,720,1080,648,99,1)としてみる.

f0=1,f1=54,f2=459,f3=1656,f4=2880,f5=2376,f6=846,f7=101,f8=1→交代和0  (OK)

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