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,…

http://www.math.sci.hokudai.ac.jp/sympo/100809/pdf/osugi.pdf トーリックイデアルが興味深い対象として挙げられる理由３つ 凸多面体の三角形分割が、トーリックイデアルのイニシャルイデアルと対応する(三角形分割には団代数が付随し、そこにはローラン多…