ワイソフ記号が左右対称の場合をすべて検証してみたい．４次元では，

　　（１００１），（１１１１），（０１１０）

の場合である．

［１］（１１・・・１１）では，頂点図形がｎ−１次元正単体になる．

［２］（１０・・・０１）では，頂点図形がｎ−１次元正軸体になる．

［３］正単体系の（０・・０１１０・・０）では，頂点図形のがｎ−１次元正単体になる．

［４］正単体系の（０・・０１０・・０）では，頂点図形がｎ−１次元の何に相当するのかよくわからない．

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

　｛３，３，３｝（１００１）では

　｛３，３｝（００１）１個→局所は（１，３，３，１）

　（３｝（０１）×｛｝（１）３個→（３｝（０１）の局所は（１，２，１）

　（｝（１）×｛３，３｝（１０）３個→（｝（１）の局所は（１，１）

　｛３，３｝（１００）１個→局所は（１）

が頂点に会する．

１

３，３

３，６，３

１，３，３，１→（１，６，１２，８）が得られる．　　（ＯＫ）

　｛３，３，４｝（１００１）では

　｛３，４｝（００１）１個→局所は（１，３，３，１）

　（４｝（０１）×｛｝（１）３個→（４｝（０１）の局所は（１，２，１）

　（｝（１）×｛３，３｝（１０）３個→（｝（１）の局所は（１，１）

　｛３，３｝（１００）１個→局所は（１）

が頂点に会する．

１

３，３

３，６，３

１，３，３，１→（１，６，１２，８）が得られる．　　（ＯＫ？）

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

　｛３，３，３｝（１１１１）では

　｛３，３｝（１１１）１個→局所は（１，３，３，１）

　（３｝（１１）×｛｝（１）３個→（３｝（１１）の局所は（１，２，１）

　（｝（１）×｛３，３｝（１１）３個→（｝（１）の局所は（１，１）

　｛３，３｝（１１１）１個→局所は（１）

が頂点に会する．

１

３，３

３，６，３

１，３，３，１→（１，６，１２，８）が得られる．　　（ＯＫ？）

　｛３，３，４｝（１１１１）では

　｛３，４｝（１１１）１個→局所は（１，３，３，１）

　（４｝（１１）×｛｝（１）３個→（４｝（１１）の局所は（１，２，１）

　（｝（１）×｛３，３｝（１０）３個→（｝（１）の局所は（１，１）

　｛３，３｝（１１１）１個→局所は（１）

が頂点に会する．

１

３，３

３，６，３

１，３，３，１→（１，６，１２，８）が得られる．　　（ＯＫ？）

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

　｛３，３，３｝（０１１０）では

　｛３，３｝（１１０）２個→局所は（１，３，３，１）

　（３｝（１０）×｛｝（１）０個→（３｝（１０）の局所は（１，２，１）

　（｝（０）×｛３｝（０１）０個→（｝（０）の局所は（１，０）

　｛３，３｝（０１１）２個→局所は（１）

が頂点に会する．

２

６，０

６，０，０

２，０，０，２→（２，６，６，４）が得られる．　　（ＮＧ）

　｛３，３，４｝（０１１０）では

　｛３，４｝（１１０）２個→局所は（１，３，３，１）

　（４｝（１０）×｛｝（１）０個→（４｝（１０）の局所は（１，２，１）

　（｝（１）×｛３｝（０１）０個→（｝（１）の局所は（１，１）

　｛３，３｝（０１１）２個→局所は（１）

が頂点に会する．

２

６，０

６，０，０

２，０，０，２→（２，６，６，４）が得られる．　　（ＮＧ）

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

［まとめ］対称だから合致したというのではなさそうである．（０１０）（０１１０）の計算では頂点周りの頂点数も合っていない．

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