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

　　ｄ^16−８ｄ^14ｒ^2＋８ｄ^12ｒ^4−８ｄ^14Ｒ^2＋４０ｄ^12ｒ^2Ｒ^2＋４８ｄ^10ｒ^4Ｒ^2−１２８ｄ^8ｒ^6Ｒ^2＋１２８ｄ^6ｒ^8Ｒ^2＋２８ｄ^12Ｒ^4−７２ｄ^10ｒ^2Ｒ^4−２６４ｄ^8ｒ^4Ｒ^4＋１２８ｄ^6ｒ^6Ｒ^4−５６ｄ^10Ｒ^6＋４０ｄ^8ｒ^2Ｒ^6＋４１６ｄ^6ｒ^4Ｒ^6＋１２８ｄ^4ｒ^6Ｒ^6＋１２８ｄ^2ｒ^8Ｒ^6＋７０ｄ^8Ｒ^8＋４０ｄ^6ｒ^2Ｒ^8−２６４ｄ^4ｒ^4Ｒ^8−１２８ｄ^2ｒ^6Ｒ^8−５６ｄ^6Ｒ^10−７２ｄ^4ｒ^2Ｒ^10＋４８ｄ^2ｒ^4Ｒ^10＋２８ｄ^4Ｒ^12＋４０ｄ^2ｒ^2Ｒ^12＋８ｒ^4Ｒ^12−８ｄ^2Ｒ^14−８ｒ^2Ｒ^14＋Ｒ^16＝０

について調べてみる．

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

［１］基底

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

［２］ポンスレーの定理

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