https://arxiv.org/pdf/1903.08270.pdf pythonのsympyを使うとグレブナー基底が計算できる sagemath on pythonでもできる from sympy import * x,y,z = symbols('x y z') eqs =[x**2 + y**2 + z**2 - 4, x**2 + 2 * y**2 - 5, x*z-1] result = groebner(eqs,…