ＤＥ群の大域幾何は問題なしであるが、局所幾何に問題が見られた点は，

ＡＢＣ群の場合を考えれば十分納得できるものである。

ＡＢＣ群の大域幾何は数え上げの重複を防ぐためにhead→tailの一方通行であるが

局所幾何は数え上げの重複を防ぐためにhead×tailの両方通行を考える必要があるからである。

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

Wythoff construction for uniform polytopes, p49の場合で言うと

( hγ5(10001)＋α5)

α0 x (α4(1001)+α2)

α1 x (α2xα1+α0)

α4 x (α1+α0)

ｈγ5

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