グレブナー基底、初めて聞きましたがよく分かりました。当方30年ほど前に情報科学を勉強した落ちこぼれくんです(笑)。