【摘要】 判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 .利用一阶逻辑等价公式 ,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题 ,之后用 Grobner基方法加以判定 .文中给出了判定算法和计算实例更多还原

【Abstract】 The problem of deciding inclusion of quasi-algebraic varieties can not be determined by computing their saturated ideals respectively.In this paper by applying some equivalent formulas in first-order logic,this problem is transformed into one which checks whether another quasi-algebraic variety is empty.Thus it can be solved by Grebner bases method.An decidable algorithm and a computational example are given here.更多还原