■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]型の一部

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