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

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

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

２４・８＝１９２

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

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

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

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

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

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

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

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

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