イデアル商
I ∩ ( g 1 ) = t I + ( 1 − t ) ( g 1 ) ∩ k [ x 1 , ... , x n ] , I ∩ ( g 2 ) = t I + ( 1 − t ) ( g 1 ) ∩ k [ x 1 , ... , x n ] {\displaystyle I\cap (g_{1})=tI+(1-t)(g_{1})\cap k[x_{1},\dots ,x_{n}],\quad I\cap (g_{2})=tI+(1-t)(g_{1})\cap k[x_{1},\dots ,x_{n}]}
辞書式順序に対して tI + (1-t)(g1) のグレブナー基底を計算せよ。すると t をもたない基底関数は I ∩ ( g 1 ) {\displaystyle I\cap (g_{1})} を生成する。