■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つの方法で計算することができることになるので,検算に用いることができる.

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