■DE群多面体の面数公式(その118)

 これで残りは142だけになった.その頂点図形は

t2α7={3,3,3,3,3,3}(0,0,1,0,0,0,0)

(56,420,840,770,392,112,16)

21・8−6・28+1・56=56

105・8−15・28+0・56=420

175・8−20・28+0・56=840

140・8−15・28+0・56+1・70=770

63・8−6・28+0・56+0・70+1・56=392

14・8−1・28+0・56+0・70+0・56+1・28=112

1・8−0・28+0・56+0・70+0・56+0・28+1・8=16

{3,3,3,3,3,3}(0,0,1,0,0,0,0)

{3,3,3,3,3}(0,1,0,0,0,0)

{3,3,3,3}(1,0,0,0,0)×{}(0)

{3,3,3}(0,0,0,0)×{3}(0,0)

{3,3}(0,0,0)×{3,3}(0,0,1)

{3}(0,0)×{3,3,3}(0,0,1,0)

{}(0)×{3,3,3,3}(0,0,1,0,0)

×{3,3,3,3,3}(0,0,1,0,0,0)

6次元面は

{3,3,3,3,3}(0,1,0,0,0,0):{3,3,3,3,3}(0,0,1,0,0,0)=8:8

5次元面は

{3,3,3,3,3}(0,1,0,0,0,0)から派生するもの

  {3,3,3,3}(1,0,0,0,0)

  {3,3,3,3}(0,1,0,0,0)

{3,3,3,3,3}(0,0,1,0,0,0)から派生するもの

  {3,3,3,3}(0,1,0,0,0)

  {3,3,3,3}(0,0,1,0,0)→1:2:1

5次元面はそれらから派生するので,

  {3,3,3}(1,0,0,0)

  {3,3,3}(1,0,0,0)

  {3,3,3}(0,1,0,0)

  {3,3,3}(1,0,0,0)

  {3,3,3}(0,1,0,0)

  {3,3,3}(0,1,0,0)

  {3,3,3}(0,0,1,0)→4:3

4次元面はそれらから派生するので,

  {3,3}(1,0,0)

  {3,3}(1,0,0)

  {3,3}(1,0,0)

  {3,3}(0,1,0)

  {3,3}(1,0,0)

  {3,3}(1,0,0)

  {3,3}(0,1,0)

  {3,3}(1,0,0)

  {3,3}(0,1,0)

  {3,3}(0,1,0)

  {3,3}(0,0,1)→7:4

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