アルゴリズムをまとめておきたい．

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

［１］ｎ次元ＤＥ群は（対称性のあるｈγ，２21も含め）最大で２^n−１のコクセター・ディンキン図形がある．

［２］原多胞体のｆベクトルは既知である．ｐ21の三対多胞体もｆベクトルは既知である．

［３］ｐ11からｔβを計算することができるが，あまり意味のないものになる．

［４］１ｑ1の切頂切稜型はｈγ4から節点を伸ばすことによって作ることができる．

［５］ｐ21の切頂切稜型は０21＝ｔ1α4から節点を伸ばすことによって作ることができる．

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