>>175
良く覚えてたね
3-1のグレブナー基底を直接計算が困難なんだけど何かアイディア無いかな？
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/223141/1/1907-21.pdf