■DE群多面体の面数公式(その621)
(その618)の
Wythoff's constructon for uniform polytopes, p49
の局所幾何を(その620)の結果と組み合わせてみる.
===================================
1=1・m1
f1=9・m1+1・m2
f2=18・m1+4・m2+1・m3
f3=13・m1+6・m2+1・m3+1・m4
f4=4・m1+4・m2+0・m3+0・m4+1・m5
f5=1・m1+1・m2+0・m3+0・m4+0・m5+1・m6
f6=0・m1−0・m2+0・m3+0・m4+0・m5+0・m6+1・m7
最後の二重節点の位置は線分(1,1)より,mに整合しない.
仮にm=(1,3,3,1,1,1,1)としてみる.
f0=1,f1=12,f2=33,f3=35,f4=17,f5=5,f6=1 (Σf=0,OK)
===================================
[雑感]何を代入してもΣf=0で,やり直しが必要である.
===================================