■DE群多面体の面数公式(その486)
本来ならば
E6(1,0,0,1,0,0)
E5(0,0,1,0,0)
E4(0,1,0,0)
E3(1,0,0),・・・
[ 16 ][ 26]
[ **, * ][ 216]
[***,**,* ][ 720]
[***,**,*,1 ][1080]
[ **, *,*,0,1 ][ 648]
[ *, *,*,0,0,1][ 99]
となるのだと思われるが,***が既知であることを前提としているので,このような計算はできないことになる.しかし,計算結果は同じになるはずである.
結局,コクセターの方法とそれとは異なる2つの方法で計算することができることになるので,検算に用いることができる.
===================================