■DE群多面体の面数公式(その680)
(その679)の[1]を採用して続行.
===================================
E6は
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(β4)
したがって,
160・27−20・216+6・720−2・1080=2160
400・27−60・216+9・720−1・1080
720・27−70・216+5・720−0・1080
520・27−30・216+1・720−0・1080
42・27−1・216+0・720−2・0・1080+1・648
1・27−0・216+0・720−0・1080+0・648+1・99
Wythoff's constructon for uniform polytopes, p49と一致しない.
===================================