■DE群多面体の面数公式(その187)
(その186)はLの端点の選び方が2とおりあるので,
[1]321の交差点に0個あるいは1個
[2]それぞれの脚に2,2^2,2^3→2^6個
[3][1]×[2]で
2^7−1種類が正しい.
同様に421に二重節点をつける.ただし,二重節点は少なくとも1個はつけなければならない.S(short leg),L(long leg)とする.
[1]421の交差点に0個あるいは1個
[2]それぞれの脚に2,2^2,2^4→2^7個
[3][1]×[2]で
2^8−1種類.
結局,E7,E8はBC群の場合と同数になる.E6だけが特殊.
===================================