ABSTRACT
We prove that any admissible ordering on ordinary differential monomials in one differential indeterminate can be specified by a canonical set of matrices. The relations between some classes of these orderings are studied. We give criteria of finiteness of differential standard bases and propose an algorithm that computes such bases if they are finite.
- F. Boulier, D. Lazard, F. Ollivier, and M. Petitot. Computing Representations for Radicals of Finitely Generated Differential Ideals. Technical Report IT-306, LIFL. 1997.]]Google Scholar
- G. Carrà Ferro. Gröbner bases and differential algebra. Lecture Notes in Computer Science, 356 : 129--140, 1989.]]Google Scholar
- G. Carrà Ferro. Differential Gröbner bases in one variable and in the partial case. Mathematical and Computer Modelling, 25(8--9) : 1--10, 1997.]] Google ScholarDigital Library
- D. Cox, J. Little, D. O'Shea. Ideals, Varieties and Algorithms. Springer-Verlag, New York, 1998.]] Google ScholarDigital Library
- H. Hong and V. Weispfenning. Algorithmic theory of admissible term orders. Preprint, 1999. Available at http://www4.ncsu.edu:8030/~hong/papers/.]]Google Scholar
- E. Hubert. Notes on triangular sets and triangulation-decomposition algorithms. I: Polynomial systems. ; II. Differential Systems. Chapters of Symbolic and Numerical Scientific Computations. Lecture Notes in Computer Science, vol. 2630, 2003.]] Google ScholarDigital Library
- E. R. Kolchin. On the exponents of differential ideals. Annals of Mathematics, 42 : 740--777, 1941.]]Google Scholar
- E. R. Kolchin. Differential Algebra and Algebraic Groups. Academic Press, New York, 1973.]]Google Scholar
- M. V. Kondratieva. Private communications. 2004--05.]]Google Scholar
- M. V. Kondratieva, A. B. Levin, A. V. Mikhalev, and E. V. Pankratiev. Differential and Difference Dimension Polynomials. Kluwer Academic Publisher, 1999.]]Google ScholarCross Ref
- M. Kreuzer and L. Robbiano. Computational Commutative Algebra I. Springer-Verlag, Berlin, 2000.]] Google ScholarDigital Library
- E. Mansfield. Differential Gröbner Bases. 1993.]]Google Scholar
- F. Ollivier. Standard bases of differential ideals. Lecture Notes in Computer Science, 508: 304--321, 1990.]] Google ScholarDigital Library
- J. F. Ritt. Differential Algebra, vol. XXXIII of Colloquium Publications. New York, 1950.]]Google Scholar
- L. Robbiano. On the Theory of Graded Structures. The Journal of Symbolic Computation, 2 : 139--170, 1986.]] Google ScholarDigital Library
- C. J. Rust and G. J. Reid. Rankings of Partial Derivatives. In Proceedings of the ISSAC-1997, pages 9--16, 1997.]] Google ScholarDigital Library
- C. J. Rust. Rankings o Derivatives for Elimination Algorithms and Formal Solvability of Analytic Partial Differential Equations. Ph.D. Thesis, University of Chicago, 1998.]] Google ScholarDigital Library
- V. Weispfenning. Differential term-orders. In Proceedings of ISSAC, pages 245--253, 1993.]] Google ScholarDigital Library
- A. Zobnin. Essential properties of admissible orderings and rankings. In Contributions to General Algebra, volume 14, pages 205--221, 2004. Available at http://shade.msu.ru/~al_zobnin/publications.htm.]]Google Scholar
- A. Zobnin. On testing the membership to differential ideals. In Proceedings of CASC-2004, pages 485--496. Technische Universität München, 2004. Available at http://shade.msu.ru/~al_zobnin/publications.htm.]]Google Scholar
- A. Zobnin. On standard bases in differential polynomial rings. To be published in Journal of Mathematical Sciences, 2005.]]Google Scholar
Index Terms
- Admissible orderings and finiteness criteria for differential standard bases
Recommendations
Construction of free differential algebras by extending Gröbner-Shirshov bases
AbstractAs a fundamental notion, the free differential algebra on a set is concretely constructed as the polynomial algebra on the differential variables. Such a construction is not known for the more general notion of the free differential ...
Letterplace ideals and non-commutative Gröbner bases
In this paper we propose a 1-to-1 correspondence between graded two-sided ideals of the free associative algebra and some class of ideals of the algebra of polynomials, whose variables are double-indexed commuting ones. We call these ideals the ''...
Monads and distributive laws for Rota-Baxter and differential algebras
In recent years, algebraic studies of the differential calculus and integral calculus in the forms of differential algebra and Rota-Baxter algebra have been merged together to reflect the close relationship between the two calculi through the First ...
Comments