■DE群多面体の面数公式(その572)
t0,1,2β4の場合は2重節点より開始.
===================================
[1]0次元面→コクセター図形にα3(111)=(24,26,14)ができる
24・8=192
[2]1次元面→コクセター図形にα1×α1=(4,4,1)ができる
36・8+4・24=384
[3]2次元面→コクセター図形は{}={1,0)
14・8+4・24+1・32=240
[4]3次元面→コクセター図形は{}={1,0)
1・8+1・24+0・32+1・16=48
===================================