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

[1]P11が両方とも二重節点の場合,10

[2]P11が両方とも二重節点でない場合,00

[3]P11の一方が二重節点の場合,01として,さらに補正が必要.

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

 (その541)のやり直し.Wythoff's constructon for uniform polytopes, p49の局所幾何の計算.

10  1

30  4  1

30  6  1  1

10  4  0  0  1

1   1  0  0  0  1

0   0  0  0  0  0  1

10  1     ↓最後の1を0に変更

30  4  1     ↓0のまま

30  6  1  1

10  4  0  1  1  ↓(最後の1)

1   1  0  0  1  1

0   0  0  0  0  0  1

(1,0,0,1,0,0,1)→(1,0,0,0,0,1,1)

→(1,5,10,10,5,1,1)

(1,15,60,80,45,12,1)

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