ここ数日は大域公式を検算を行っていたが，母多胞体の局所公式は既知である．次はその切頂切稜型の局所公式が目標になる．

　とはいっても，データがないので，４次元の場合（Kaleidoscope,p295）から順次確かめて行くしかない．

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

［１］ｔ0,2β4

１＝１

６＝４　１

９＝４　２　１

５＝１　１　０　１

１＝０　０　０　０　１→１，２，１，２，１

［２］ｔ0,1β4

１＝１

５＝４　１

８＝４　０　１

５＝１　０　０　１

１＝０　０　０　０　１→１，１，４，４，１？

［３］ｔ0,1,2β4

１＝１

４＝３　１

６＝３　２　１

４＝１　１　０　１

１＝０　０　０　０　１→１，１，１，２，１

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