Kaleidoscope,p295を形式的に計算．ｔ0,1β4の場合は・・・

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

［１］０次元面→コクセター図形にα3（０１０）＝（６，１２，８）ができる

６・８＝４８

［２］１次元面→コクセター図形に｛｝×｛｝＝（１，０）ができる

１２・８＋１・２４＝１２０

［３］２次元面→コクセター図形は｛｝＝｛１，０）

８・８＋０・２４＋１・３２＝９６

［４］３次元面→コクセター図形は｛｝＝｛１，０）

１・８＋０・２４＋０・３２＋１・１６＝２４

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

［まとめ］まったく形式的に計算したが，実質的にも合致した．

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