Back to Search
Start Over
A characteristic set method for ordinary difference polynomial systems
- Source :
-
Journal of Symbolic Computation . Mar2009, Vol. 44 Issue 3, p242-260. 19p. - Publication Year :
- 2009
-
Abstract
- Abstract: We prove several basic properties for difference ascending chains, including a necessary and sufficient condition for an ascending chain to be the characteristic set of its saturation ideal and a necessary and sufficient condition for an ascending chain to be the characteristic set of a reflexive prime ideal. Based on these properties, we propose an algorithm to decompose the zero set of a finite set of difference polynomials into the union of zero sets of certain ascending chains. This decomposition algorithm is implemented and used to solve the perfect ideal membership problem, and to prove certain difference identities automatically. [Copyright &y& Elsevier]
- Subjects :
- *POLYNOMIALS
*ALGORITHMS
*ALGEBRA
*FOUNDATIONS of arithmetic
Subjects
Details
- Language :
- English
- ISSN :
- 07477171
- Volume :
- 44
- Issue :
- 3
- Database :
- Academic Search Index
- Journal :
- Journal of Symbolic Computation
- Publication Type :
- Academic Journal
- Accession number :
- 36607153
- Full Text :
- https://doi.org/10.1016/j.jsc.2007.05.005