■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の記事からの拡張がよくわからない.
===================================