Decomposition of Reflexive Differential-Difference Polynomial Systems

This paper presents a zero decomposition algorithm for reflexive difference and differential polynomial systems. The problem of negative exponent of difference operators in DD-polynomials is solved by means of generalized term order. Our algorithm would be used to decompose the zero set of a finitely generated reflexive DD-polynomial set into the union of zero sets of coherent chains.