■n次元の立方体と直角三角錐(その158)

 数え漏らしがあるかもしれないが,正5胞体系のデータ:f0=5,f1=10,f2=10,f3=5を使って絞り込みを行うことにする.

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

[1](0,1,0,0)→f=(10,30,30,10)

  [0,0,1,0,0],[0,1,0,0,1]

  [1,0,0,3,0],[1,0,0,2,2],[1,0,2,0,2]

  [2,0,0,3,0],[2,0,0,2,2],[2,0,2,0,2]

  [3,0,1,0,0],[3,1,0,0,1]

[2](0,0,1,0)→f=(10,30,30,10)

  [0,0,0,1,0],[0,0,0,0,2]

  [1,0,0,3,0],[1,0,0,2,2],[1,0,2,0,2]

  [2,0,1,2,0],[2,1,0,2,1],[2,0,1,1,2],[2,1,0,1,3],[2,1,2,0,1],[2,0,1,0,41,[2,1,0,0,5]

  [3,0,1,0,0],[3,1,0,0,1]

[3](0,0,0,1)→f=(5,10,10,5)

  [0,0,0,0,1]

  [1,0,0,1,0]

  [2,0,1,0,0]

  [3,1,0,0,0]

[4](1,1,0,0)→f=(20,40,30,10)

  [0,1,1,0,1],[0,2,0,0,2],[0,0,2,0,0]

  [1,2,1,2,1],[1,1,0,2,3],[1,0,1,1,4],[1,0,1,0,6]

  [2,0,0,3,0],[2,0,0,2,2],[2,0,2,0,2]

  [3,0,1,0,0],[3,1,0,0,1]

[5](1,0,1,0)→f=(30,90,80,20)

  [0,0,0,3,0],[0,0,0,2,2],[0,0,2,0,2]

  [1,0,0,9,0],[1,0,0,8,2],[1,0,0,7,4],[1,0,0,6,6],[1,0,0,5,8],[1,0,0,4,10],[1,0,0,3,12],

  [2,2,0,7,0],[2,1,1,6,1],[2,2,0,3,8],[2,0,2,2,8],[2,1,1,2,9],[2,2,0,2,10],[2,2,0,0,14]

  [3,2,0,1,0],[3,1,1,0,1],[3,2,0,0,2]

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