グレブナー基底と代数多様体入門（下）　原書４版　イデアル・多様体・アルゴリズム