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

 ファセットの縮退を考えると,k次元面の縮退数は

  lf0+mf1+nf2,(1,m,n)は整数

の形で書くのが自然な拡張であろう.3次元正四面体系の場合検証してみたい.

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

[1](0,1,1)→(0,0,1)の場合

 頂点数は8減,辺数は12減,面数は4減.

  [0,2,0,0]−[0,0,0,2]

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

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

[2](0,1,1)→(0,1,0)の場合

 頂点数は6減,辺数は6,面数は不変.

  [0,0,1,0]

  [1,0,1,0]

  [2,0,0,0]

[3](1,1,0)→(0,1,0)の場合

 頂点数は6減,辺数は6減,面数は不変.

  [0,0,1,0]

  [1,0,1,0]

  [2,0,0,0]

[4](1,1,0)→(1,0,0)の場合

 頂点数は8減,辺数は12減,面数は4減.

  [0,2,0,0]−[0,0,0,21

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

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

[5](1,1,1)→(0,1,1)の場合

 頂点数は12減,辺数は18減,面数は6減.

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

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

  [2,0,1,01

[6](1,1,1)→(1,1,0)の場合

 頂点数は12減,辺数は18減,面数は6減.

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

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

  [2,0,1,01

[7](1,1,1)→(1,0,1)の場合

 頂点数は12減,辺数は12減,面数は不変.

  [0,3,0,01−[0,0,0,3],[0,0,2,0]

  [1,3,0,01−[1,0,0,3],[1,0,2,0]

  [2,0,0,0]

[8](1,0,1)→(0,0,1)の場合

 頂点数は8減,辺数は18減,面数は10減

  [0,2,0,01−[0,0,0,2]

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

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

[9](1,0,1)→(1,0,0)の場合

 頂点数は8減,辺数は18減,面数は10減

  [0,2,0,01−[0,0,0,2]

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

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

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