そろそろまとめに入りたい．

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

　まずは古典群から．置換多面体のシュレーフリ・ワイソフ記号とｆベクトルについて

｛３｝（１１）＝（６，６）

｛３３｝（１１１）＝（２４，３６，１４）

｛３３３｝（１１１１）＝（１２０，２４０，１５０，３０）

｛３３３３｝（１１１１１）＝（７２０，１８００，１５６０，５４０，６２）

｛３３３３３｝（１１１１１１）＝（５０４０，１５１２０，１６８００，８４００，１８０６，１２６）

　頂点数（ｎ＋１）！，ファセット数２（２^n−１）となる．

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

｛４｝（１１）＝（８，８）

｛３４｝（１１１）＝（４８，７２，２６）

｛３３４｝（１１１１）＝（３８４，７６８，４６４，８０）

｛３３３４｝（１１１１１）＝（３８４０，９６００，８１６０，２６４０，２４２）

｛３３３３４｝（１１１１１１）＝（４６０８０，１３８２４０，１５１６８０，７２９６０，１４１６８，７２８）

頂点数２^nｎ！，ファセット数（３^n−１）となる．

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

　続いて，散在群．

｛５｝（１１）＝（１０，１０）

｛３５｝（１１１）＝（１２０，１８０，６２）

｛３３５｝（１１１１）＝（１４４００，２８８００，１７０４０，２６４０）

｛３４３｝（１１１１）＝（１１５２，２３０４，１３９２，２４０）

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