（１，１，・・・，１，１）と（１，０，・・・，０，１）の頂点次数を比べてみたい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】ｆ1公式

　次数をｍとすると，辺数はｆ1＝ｍ／２・ｆ0で与えられる．同様にｍの求め方をアルゴリズム化したものがｆ1公式である．

　ｆ0公式とｆ1公式は，ｎ次元の正軸体も正単体もファセットは等しく，（ｎ−１）次元正単体であることの別表現になっているのである．

　ここではコンピュータを用いた総当たり的な手法で求めることを避け，点Ｑの座標を計算する手間も省きたい．

［１］ワイソフ構成にｘ1〜ｘrを対応させる．先頭から始めて最初の１までｘ1，２番目の１までｘ2，・・・，ｒ番目の１までｘr．最後の要素が０のときはｘr+1＝０とする．

［２］［ｘ1｜ｘ2｜・・｜ｘr］または［ｘ1｜ｘ2｜・・｜ｘr｜０］となるが，それぞれの連の要素数をｓjとおく．

［３］ｍ＝Σｓjｓj+1＋ｓr・ｓr+1　　（正軸体系で最後の要素が０の場合）

　　　ｍ＝Σｓjｓj+1＋ｓr　　　　　　（それ以外）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】ｆ1公式の応用

　ワイソフ構成が（１，１，・・・，１）すなわち同じ位置に複数の頂点がない場合，正単体系，正軸体ともに

　　ｍ＝ｎ

（１，０，・・・，０，１）の場合，正単体系，正軸体ともに

　　ｍ＝２ｎ−２

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝