■DE群多面体の面数公式(その397)
421の基本単体の頂点は,ρについて
P0(0,0,0,0,0,0,0,0)
P1(1,0,0,0,0,0,0,0)
P2(1,1/√3,0,0,0,0,0,0)
P3(1,1/√3,1/√6,0,0,0,0,0)
P4(1,1/√3,1/√6,1/√10,0,0,0,0)
P5(1,1/√3,1/√6,1/√10,1/√15,0,0,0)
P6(1,1/√3,1/√6,1/√10,1/√15,1/√21,0,0)
P7(1,1/√3,1/√6,1/√10,1/√15,1/√21,1/√28,0)
P8(1,1/√3,1/√6,1/√10,1/√15,1/√21,1/√28,√(9/4))
[7]P0P1P2P3P4P5P7P8を通る超平面
[8]P0P1P2P3P4P5P6P8を通る超平面
===================================
421の基本単体の頂点は,σについて
P0(0,0,0,0,0,0,0,0)
P1(1,0,0,0,0,0,0,0)
P2(1,1/√3,0,0,0,0,0,0)
P3(1,1/√3,1/√6,0,0,0,0,0)
P4(1,1/√3,1/√6,1/√10,0,0,0,0)
P5(1,1/√3,1/√6,1/√10,1/√15,0,0,0)
P6(1,1/√3,1/√6,1/√10,1/√15,1/√21,0,0)
P7(1,1/√3,1/√6,1/√10,1/√15,1/√21,√(2/7),0)
P8(1,1/√3,1/√6,1/√10,1/√15,1/√21,√(2/7),√2)
[7]P0P1P2P3P4P5P7P8を通る超平面
[8]P0P1P2P3P4P5P6P8を通る超平面
===================================