■DE群多面体の面数公式(その389)
 もう少し計算を続ける.
 両者に共通する面は
 (0,0,0,0)
 (1,1,0,0)
 (1,1,1,0)
 (3/2,1/2,1/2,1/2)
辺の長さは√2,√3,√3,1,1,1
共通しない部分を考えれば,β4の頂点は
 (2,0,0,0)と
 (0,0,0,0)
 (1,1,0,0)
 (1,1,1,0)
 (3/2,1/2,1/2,1/2)
辺の長さは2,√2,√3,1
ここにβ4の基本単体何個分かと考えると話が難しくなる.
hγ4の頂点は
 (1,1,1,1)と
 (0,0,0,0)
 (1,1,0,0)
 (1,1,1,0)
 (3/2,1/2,1/2,1/2)
辺の長さは2,√2,1,1
ここにhγ4の基本単体何個分かと考えると話が難しくなる.
===================================