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

 逆に,Wythoff's constructon for uniform polytopes, p49の計算のワイソフ記号はどうなっているのだろうか?

  E6(1,0,0,1,0,0)

で良いのだろうか? しかし,この問題は

  E5(0,0,1,0,0)

  E4(0,1,0,0)

などが既知であることを前提としているので,以下のような計算はできないことになる.

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

E6:(f0,f1,f2,f3,f4,f5)=(26,216,720(α2),1080(α3),216(α4)+432(α4),72(α5)+27(β4))

hγ5:f0,f1,f2,f3,f4)=(16,80,160,120,(2)16+10)

α4(5,10,10,5)

α3(4,6,4)

α2(3,3)

α1(2,1)

α0(1)

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