（その７２０）（その７２１）を検算したいのであるが，局所幾何に現れる図形がわからない．

　ワイソフ記号は（０，１，０，０，０，０，０）であるから，ファセットは

　　α6（０，１，０，０，０，０）・・・頂点数２１

　　β6（０，１，０，０，０，０）・・・頂点数６０

ｆ1＝（３２／２）ｆ0＝１２０９６→ＯＫ

ｆ2＝（１７６／３）ｆ0＝４４３５２→ＯＫ

ｆ3＝（４００／４）ｆ0＝７５６００→ＮＧ

ｆ6＝（ｘ／２１＋ｙ／６０）ｆ0

７５８／７５６＝ｘ／２１＋ｙ／６０

７５８／７５６・１２６０＝６０ｘ＋２１ｙ＝整数にならない

ｘ＋ｙ＝２８

６０ｘ＋６０ｙ＝１６８０・・・ＮＧ

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