正态二项差分理想的有限差分Groebner基的判定
Criteria for Finite Difference Groebner Bases of Normal Binomial Difference Ideals
摘要：
本文给出了一元差分多项式环F{y}中正规二项差分多项式理想具有有限差分Groebner基的判定准则，以及在满足这些判定准则时计算有限差分Groebner基的算法.这些准则的新颖之处在于将差多项式理想的复杂性质归结为Z[x]中一元多项式的基本性质。
英文摘要：
In this paper, we give decision criteria for normal binomial difference polynomial ideals in the univariate difference polynomial ring F{y} to have finite difference Groebner bases and an algorithm to compute the finite difference Groebner bases if these criteria are satisfied. The novelty of these criteria lies in the fact that complicated properties about difference polynomial ideals are reduced to elementary properties of univariate polynomials in Z[x].
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
