■対蹠点までの距離(その4)
置換多面体はワイソフ構成によって得られる空間充填多面体で,そのシュレーフリ・ワイソフ記号は
{33}(111)
頂点数(n+1)!,ファセット数2(2^n−1)となる.
ここではその立方体版である大菱形立方八面体
{43}(111)
について考える.頂点数2^nn!,ファセット数(3^n−1)となる.
====================================
この多面体の母関数は、簡単な観察から
1+3x+5x^2+7x^3+8x^4+8x^5+7x^6+5x^7+3x^8+x^9=1+3x+5x^2+7x^3+8x^4+8x^5+7x^6+5x^7+3x^8+x^9
=(1+x)(1+x+x^2+x^3)(1+x+x^2+x^3+x^4+x^5)となることが予想される.
=(1−x^2)(1−x^4)(1−x^6)/(1−x)^3
====================================