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

 Withoff's constructon for uniform polytopes, p49

は何を求めているのだろうか?

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

 |E6|=6!・3・2^3・3=72・6!=51840=x

 N0=x/2^4・5!=27

 N1=x/2・5!=216

 N2=x/6・2・6=720(α2)

 N3=x/24・2=1080(α3)

 N4=x/5!・2+x/5!=216(α4)+432(α4)

 N5=x/6!+x/2^4・5!=72(α5)+27(β5)

 N0+N2+N4=N1+N3+N5=1395

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

[まとめ]regular polytopeの記事からの拡張がよくわからない.

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