■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だけが特殊.

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