■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もできるので,局所幾何を追いかけるのも困難である.

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