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

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

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

１２・８＝９６

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

２４・８＋４・２４＝２８８

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

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

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

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

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

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

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