面数公式の戻りたい．２31，１22のｆベクトルも求めたいところであるが，頂点数はすぐに計算できて，

　　４21→｜Ｅ8｜／｜Ｅ7｜＝２４０

　　２31→｜Ｅ7｜／｜Ｄ6｜＝１２６

　　１22→｜Ｅ6｜／｜Ａ5｜＝７２

　１22の７２頂点は

　　（±２，±２，０，０，０；０），ｘ6は固定，４０置換

　　（±１，±１，±１，±１，±１，±√３），負号の数は奇数，３２置換

　ファセット１12＝ｈγ5は｜Ｅ6｜／｜Ｄ5｜＝７２・６！／２^4・５！＝２７

　ファセット１21＝ｈγ5は｜Ｅ6｜／｜Ｄ5｜＝２７

　頂点図形は０22＝ｔ2α5　→　交点は常に二重節点である？

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

　２31の１２６頂点は

　　（２，０，０，０，０，０，０，−２），５６置換

　　（１，１，１，１，−１，−１，−１，−１），７０置換

　ファセット２21＝Ｅ6は５６個＝｜Ｅ7｜／｜Ｅ6｜

　ファセット２30＝α6は５７６個＝｜Ｅ7｜／｜Ａ6｜

　頂点図形は１31＝ｈγ6→これは問題ない

　各頂点に連結する辺は３２本，したがって，２31の辺数は１２６・１６＝２０１６

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