In this paper we extend the theory of Grbner bases to difference-differential modules and present a new algorithmic approach for computing the Hilbert function of a finitely generated difference-differential module eq...In this paper we extend the theory of Grbner bases to difference-differential modules and present a new algorithmic approach for computing the Hilbert function of a finitely generated difference-differential module equipped with the natural filtration. We present and verify algorithms for construct-ing these Grbner bases counterparts. To this aim we introduce the concept of "generalized term order" on Nm ×Zn and on difference-differential modules. Using Grbner bases on difference-differential mod-ules we present a direct and algorithmic approach to computing the difference-differential dimension polynomials of a difference-differential module and of a system of linear partial difference-differential equations.展开更多
基金supported by the National Natural Science Foundation of China (Grant No. 60473019)the KLMM (Grant No. 0705)
文摘In this paper we extend the theory of Grbner bases to difference-differential modules and present a new algorithmic approach for computing the Hilbert function of a finitely generated difference-differential module equipped with the natural filtration. We present and verify algorithms for construct-ing these Grbner bases counterparts. To this aim we introduce the concept of "generalized term order" on Nm ×Zn and on difference-differential modules. Using Grbner bases on difference-differential mod-ules we present a direct and algorithmic approach to computing the difference-differential dimension polynomials of a difference-differential module and of a system of linear partial difference-differential equations.