■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と一致しない.

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