■DE群多面体の面数公式(その219)
(その218)で,z=16としたのは
tβ5=β5(1,0,0,0,1)
を想定したからである.
これから派生する4次元面はα4,β4以外のもたくさんできるし
121
021×α1=α4×α1
(−1)21×α2=α1×α2(degenerated)
(−2)21×α3=α0×α2(degenerated)
(−3)21×α4/eα4(2種類?)(degenerated)
×α5/tβ5(2種類?)
からはeα4,t1α4もできるので,局所幾何を追いかけるのも困難である.
===================================