■DE群多面体の面数公式(その447)
上下が逆転しているため,P1を外すことは,下記座標のPn-1を外すことと等しくなるので,接合面は等しくなると考えられるのである.
===================================
hγ5の基本単体の頂点は,ρについて
P0(0,0,0,0,0)
P1(1,0,0,0,0)
P2(1,1/√3,0,0,0)
P3(1,1/√3,1/√6,0,0)
P4(1,1/√3,1/√6,1/√10,0)→外す
P5(1,1/√3,1/√6,1/√10,3/√10)
hγ5の基本単体の頂点は,σについて
P0(0,0,0,0,0)
P1(1,0,0,0,0)
P2(1,1/√3,0,0,0)
P3(1,1/√3,1/√6,0,0)
P4(1,1/√3,1/√6,1/√2,0)→外す
P5(1,1/√3,1/√6,1/√2,1/√2)
===================================