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

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

　　α5（０，１，０，０，０）・・・頂点数１５

　　β5（０，１，０，０，０）・・・頂点数４０

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

ｆ2＝（７０／３）ｆ0＝５０４０→ＯＫ

ｆ3＝（９０／４）ｆ0＝４８６０→ＮＧ

ｆ5＝（ｘ／１５＋ｙ／４０）ｆ0

１２６＝（ｘ／１５＋ｙ／４０）・２１６

８ｘ＋３ｙ＝１２６・１２０／２１６＝７０

ｘ＋ｙ＝１２

８ｘ＋８ｙ＝９６，５ｙ＝２６・・・ＮＧ

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