多様式半正則多項式列のGr??bner基底計算における解決度

多様式半正則多項式列の解決度と関連するGr??bner基底の性質を明らかにする。