■n次元の立方体と直角三角錐(その267)
(その254)以降,
[1]正単体系・切頂型
[2]正単体系・切頂切稜型
[3]正軸体系・切頂型
[4]正軸体系・切頂切稜型
の4型に分類して,f1公式を探索しているのであるが,8割成功しているのはこの分類がよかったからである.
===================================
【1】4次元
[1]OK
[2]OK
[3]OK
[4]OK
===================================
【2】5次元
[1]OK
[2]NG[0,*,*,*,0]型
[3]NG
[0,1,0,0,0],[1,1,0,0,0]
[0,1,1,0,0]
[4]NG[0,*,*,*,0]型
===================================
【3】6次元
[1]OK
[2]NG[0,*,*,*,0]型
[3]NG型
[0,1,0,0,0,0],[0,0,1,0,0,0]
[1,1,0,0,0,0],[0,1,1,0,0,0]
[0,0,1,1,0,0]
[4]NG
[0,*,*,*,*,0],[0,1,0,0,0,1]
[0,1,1,0,0,1],[0,1,0,0,1,1]
===================================
【4】NGのまとめ
[1]正単体系・切頂型・・・・・OK
[2]正単体系・切頂切稜型・・・5次元以上の[0,*,0]型
4次元の[0,*,0]型は存在しない.
[3]正軸体系・切頂型・・・・・5次元以上の[0,*,0]型+[1,*,0]型の一部
[4]正軸体系・切頂切稜型・・・5次元以上の[0,*,0]型+[0,*,1]型の一部
===================================