状态多面体

状态多面体使用程序gfan、M2和polymake计算理想的状态多面体。具体地说,它计算Statem(I)或State(I),如Sturmfels的书Groebner bases and Polytoples,第14页中所定义的那样。在多项式环中,还存在一个函数,用来检验理想在多项式环中的GIT稳定性,该函数与变量的最大环标度作用有关。我们假设用户的系统上有gfan 0.3或更高版本。默认的假设是运行gfan的命令是gfan,但如果需要,可以在包配置中更改此命令。用户还需要在其系统上安装polymake 2.3-1或更高版本,并且必须使用此命令运行它。最后,用户负责确保gfan支持学习的理想。在版本0.3中,这意味着理想值必须在QQ或ZZ/p上的多项式环中,且p<32749,且变量名不应是另一个变量的子串。