■単純リー環を使った面数数え上げ（その３５）
ワイソフ算術を使って，以下の多胞体のｆ0，ｆ1，ｆn-1も求めておきたい．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【１】正単体版
ｆ0＝（ｎ−１）！（ｎ＋１，ｎ−１）＝（ｎ＋１）！／２
ｍ＝ｎ，ｆ1＝ｍ／２・ｆ0＝ｎ／２・ｆ0
｛３，３｝（１１０）→ｆ0＝１２（ＯＫ）
｛３，３，３｝（１１１０）→ｆ0＝６０（ＯＫ）
｛３，３，３，３｝（１１１０）→ｆ0＝３６０（ＯＫ）
｛３，３，３，３，３｝（１１１１０）→ｆ0＝２５２０（ＯＫ）
ｆ1＝ｎ／２・ｆ0
｛３，３｝（１１０）→ｆ1＝１８（ＯＫ）
｛３，３，３｝（１１１０）→ｆ1＝１２０（ＯＫ）
｛３，３，３，３｝（１１１１０）→ｆ1＝９００（ＯＫ）
｛３，３，３，３，３｝（１１１１１０）→ｆ1＝７５６０（ＯＫ）
ｆn-1＝２（２^n−１）−（ｎ＋１，ｎ−１）
｛３，３｝（１１０）→ｆ2＝８（ＯＫ）
｛３，３，３｝（１１１０）→ｆ3＝２０（ＯＫ）
｛３，３，３，３｝（１１１１０）→ｆ4＝４７（ＯＫ）
｛３，３，３，３，３｝（１１１１１０）→ｆ5＝１０５（ＯＫ）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【２】正軸体版
ｆ0＝（ｎ−１）！２^n-1（ｎ，ｎ−１）＝２^n-1ｎ！
ｍ＝ｎ，ｆ1＝ｍ／２・ｆ0＝ｎ／２・ｆ0
｛３，４｝（１１０）→ｆ0＝２４（ＯＫ）
｛３，３，４｝（１１１０）→ｆ0＝１９２（ＯＫ）
｛３，３，３，４｝（１１１１０）→ｆ0＝１９２０（ＯＫ）
｛３，３，３，３，４｝（１１１１１０）→ｆ0＝２３０４０（ＯＫ）
ｆ1＝ｎ／２・ｆ0
｛３，４｝（１１０）→ｆ1＝３６（ＯＫ）
｛３，３，４｝（１１１０）→ｆ1＝３８４（ＯＫ）
｛３，３，３，４｝（１１１１０）→ｆ1＝４８００（ＯＫ）
｛３，３，３，３，４｝（１１１１１０）→ｆ1＝６９１２０（ＯＫ）
ｆn-1＝３^n−１−２^n-1（ｎ，ｎ−１）
｛３，４｝（１１０）→ｆ2＝１４（ＯＫ）
｛３，３，４｝（１１１０）→ｆ3＝４８（ＯＫ）
｛３，３，３，４｝（１１１１０）→ｆ4＝１６２（ＯＫ）
｛３，３，３，３，４｝（１１１１１０）→ｆ5＝５３６（ＯＫ）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
