■DE群多面体の計量(その75)

[1]P11が両方とも二重節点の場合,同時に枝切り(10)、B群として扱う

[2]P11が両方とも二重節点でない場合,同時に枝切り(00)、B群として扱う

[3]P11の一方が二重節点の場合,最後に二重接点を枝切りする

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

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)

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