グレブナー基底の正誤を確かめるには作図してみるしかない．今回のコラムでは七角形の基底

　　ｄ^12＋４ｄ^10ｒＲ−２４ｄ^8ｒ^3Ｒ＋３２ｄ^6ｒ^5Ｒ−６ｄ^10Ｒ^2−４ｄ^8ｒ^2Ｒ^2−１６ｄ^6ｒ^4Ｒ^2−２０ｄ^8ｒＲ^3＋６４ｄ^6ｒ^3Ｒ^3＋１５ｄ^8Ｒ^4＋１６ｄ^6ｒ^2Ｒ^4＋３２ｄ^4ｒ^4Ｒ^4＋６４ｄ^2ｒ^6Ｒ^4＋４０ｄ^6ｒＲ^5−４８ｄ^4ｒ^3Ｒ^5−３２ｄ^2ｒ^5Ｒ^5−２０ｄ^6Ｒ^6−２４ｄ^4ｒ^2Ｒ^6−１６ｄ^2ｒ^4Ｒ^6−４０ｄ^4ｒＲ^7＋１５ｄ^4Ｒ^8＋１６ｄ^2ｒ^2Ｒ^8＋２０ｄ^2ｒＲ^9＋８ｒ^3Ｒ^9−６ｄ^2Ｒ^10−４ｒ^2Ｒ^10−４ｒＲ^11＋Ｒ^12＝０

について調べてみる．

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

［１］基底

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

［２］ポンスレーの定理

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