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

　ｆ0公式とｆ1公式は，ｎ次元の正軸体も正単体もファセットは等しく，（ｎ−１）次元正単体であることの別表現になっているのである．そうであれば，Ｈ3，Ｈ4はともかくとして，Ｆ4に対してはｆ1公式は難しいかもしれない．

　いまとなっては，ワイソフ算術で直接ｍを計算する方法が確立しているので無用かもしれないが，もう一度，

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

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

を変形して適用する方法を試みたい．

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

【１】ｆ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　　　　　　（それ以外）

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