■置換多面体の空間充填性（その１３８）
５次元正軸体系の場合をやってみたい．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
［１］｛３，３，３，４｝（１，０，１，０，０）
ｆ4＝（１／２４＋２／１２＋０／３＋０／１２＋４／３０）ｆ0＝１０＋４０＋（８０）＋（８０）＋３２＝８２
２４は｛３，３，４｝（０，１，０，０）の頂点数
１２は｛３，４｝（１，０，０）×｛｝（１）の頂点数＝６×２＝１２
３は｛４｝（０，０）×｛３｝（１，０）の頂点数＝１×３＝３
１２は｛｝（０）×｛３，３｝（１，０，１）の頂点数＝１×１２＝１２
３０は｛３，３，３｝（１，０，１，０）の頂点数
［２］｛３，３，３，４｝（１，０，０，１，０）
ｆ4＝（１／３２＋３／２４＋３／１２＋０／４＋２／２０）ｆ0＝１０＋４０＋８０＋（８０）＋３２＝１６２
３２は｛３，３，４｝（０，０，１，０）の頂点数
２４は｛３，４｝（０，１，０）×｛｝（１）の頂点数＝１２×２＝２４
１２は｛４｝（１，０）×｛３｝（１，０）の頂点数＝４×３＝１２
４は｛｝（０）×｛３，３｝（１，０，０）の頂点数＝１×４＝４
２０は｛３，３，３｝（１，０，０，１）の頂点数
［３］｛３，３，３，４｝（０，１，０，１，０）
ｆ4＝（２／９６＋０／９６＋２／１２＋０／６＋２／３０）ｆ0＝１０＋（４０）＋８０＋（８０）＋３２＝１２２
９６は｛３，３，４｝（１，０，１，０）の頂点数
１２は｛３，４｝（０，１，０）×｛｝（０）の頂点数＝１２×１＝１２
１２は｛４｝（１，０）×｛３｝（０，１）の頂点数＝４×３＝１２
６は｛｝（０）×｛３，３｝（０，１，０）の頂点数＝１×６＝６
３０は｛３，３，３｝（０，１，０，１）の頂点数
［４］｛３，３，３，４｝（１，１，１，０，０）
ｆ4＝（１／４８＋１／１２＋０／６＋０／２４＋４／６０）ｆ0＝１０＋４０＋（８０）＋（８０）＋３２＝８２
４８は｛３，３，４｝（１，１，０，０）の頂点数
１２は｛３，４｝（１，０，０）×｛｝（１）の頂点数＝６×２＝１２
６は｛４｝（０，０）×｛３｝（１，１）の頂点数＝１×６＝６
２４は｛｝（０）×｛３，３｝（１，１，１）の頂点数＝１×２４＝２４
６０は｛３，３，３｝（１，１，１，０）の頂点数
［５］｛３，３，３，４｝（１，１，０，１，０）
ｆ4＝（１／９６＋１／２４＋２／２４＋０／１２＋２／６０）ｆ0＝１０＋４０＋８０＋（８０）＋３２＝１６２
９６は｛３，３，４｝（１，０，１，０）の頂点数
２４は｛３，４｝（０，１，０）×｛｝（１）の頂点数＝１２×２＝２４
２４は｛４｝（１，０）×｛３｝（１，１）の頂点数＝４×６＝２４
１２は｛｝（０）×｛３，３｝（１，１，０）の頂点数＝１×１２＝１２
６０は｛３，３，３｝（１，１，０，１）の頂点数
［６］｛３，３，３，４｝（１，０，１，１，０）
ｆ4＝（１／９６＋２／４８＋１／１２＋０／１２＋２／６０）ｆ0＝１０＋４０＋８０＋（８０）＋３２＝１６２
９６は｛３，３，４｝（０，１，１，０）の頂点数
４８は｛３，４｝（１，１，０）×｛｝（１）の頂点数＝２４×２＝４８
１２は｛４｝（１，０）×｛３｝（１，０）の頂点数＝４×３＝１２
１２は｛｝（０）×｛３，３｝（１，０，１）の頂点数＝１×１２＝１２
６０は｛３，３，３｝（１，０，１，１）の頂点数
［７］｛３，３，３，４｝（０，１，１，１，０）
ｆ4＝（２／１９２＋０／２４＋１／１２＋０／１２＋２／６０）ｆ0＝１０＋（４０）＋８０＋（８０）＋３２＝１２２
１９２は｛３，３，４｝（１，１，１，０）の頂点数
２４は｛３，４｝（１，１，０）×｛｝（０）の頂点数＝２４×１＝２４
１２は｛４｝（１，０）×｛３｝（０，１）の頂点数＝４×３＝１２
１２は｛｝（０）×｛３，３｝（０，１，１）の頂点数＝１×１２＝１２
６０は｛３，３，３｝（０，１，１，１）の頂点数
［８］｛３，３，３，４｝（１，１，１，１，０）
ｆ4＝（１／１９２＋１／４８＋１／２４＋０／２４＋２／１２０）ｆ0＝１０＋４０＋８０＋（８０）＋３２＝１６２
１９２は｛３，３，４｝（１，１，１，０）の頂点数
４８は｛３，４｝（１，１，０）×｛｝（１）の頂点数＝２４×２＝４８
２４は｛４｝（１，０）×｛３｝（１，１）の頂点数＝４×６＝２４
２４は｛｝（０）×｛３，３｝（１，１，１）の頂点数＝１×２４＝２４
１２０は｛３，３，３｝（１，１，１，１）の頂点数
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
