Skip to main content
SpringerLink
Log in

Membership problem for differential ideals generated by a composition of polynomials

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

The question of whether a polynomial belongs to a finitely generated differential ideal remains open. This problem is solved only in some particular cases. In the paper, we propose a method, which reduces the test of membership for fractional ideals generated by a composition of differential polynomials to another, simpler, membership problem.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Ritt, J.F., Differential Algebra, Colloquium Publications, vol. 33, New York, 1950.

  2. Kolchin, E.R., Differential Algebra and Algebraic Groups, New York: Academic, 1973.

    Google Scholar 

  3. Sit, W.Y., The Ritt-Kolchin Theory for Differential Polynomials, Differential Algebra and Related Topics (Proc. of the Int. Workshop, NJSU, November 2–3, 2002), Li Guo, Keigher, W.F., Cassidy, P.J., and Sit, W.Y., Eds., 2002.

  4. Gallo, G., Mishra, B., and Ollivier, F., Some Constructions in Rings of Differential Polynomials, Lecture Notes in Computer Science, 1991, vol. 539, pp. 171–182.

    MathSciNet  Google Scholar 

  5. Boulier, F., Lazard, D., Ollivier, F., and Petitot, M., Computing Representations for Radicals of Finitely Generated Differential Ideals, Technical Report IT-306, LIFL, 1997.

  6. Hubert, E., 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, 2003, vol. 2630.

  7. Zobnin, A., On Testing the Membership to Differential Ideals, Proc. of CASC-2004, Technische Universität München, 2004, pp. 485–496; available at http://shade.msu.ru/:_difalg/DSB.

  8. Zobnin, A., On Standard Bases in the Ring of Differential Polynomials, Fundam. Prikl. Mat., 2003, vol. 9, no. 3, pp. 89–102.

    MATH  MathSciNet  Google Scholar 

  9. Zobnin, A., Admissible Orderings and Finiteness Criteria for Differential Standard Bases, Proc. of ISSAC-2005, Kauers, M., Ed., 2005, pp. 365–372.

  10. Carrà Ferro, G., Differential Gröbner Bases in One Variable and in the Partial Case, Math. Comput. Modelling, 1997, vol. 25, nos. 8–9, pp. 1–10.

    Article  MATH  Google Scholar 

  11. Carrà Ferro, G., Gröbner Bases and Differential Algebra, Lecture Notes in Computer Science, 1989, vol. 356, pp. 129–140.

    MATH  Google Scholar 

  12. Kolchin, E.R., On the Exponents of Differential Ideals, Ann. Math., 1941, vol. 42, pp. 740–777.

    Article  MATH  MathSciNet  Google Scholar 

  13. Kondratieva, M.V., Levin, A.B., Mikhalev, A.V., and Pankratiev, E.V., Differential and Difference Dimension Polynomials, Dordrecht: Kluwer, 1999.

    Google Scholar 

  14. Kondratieva, M.V., Examples of Computation of Generators of a Differential Ideal by Its Characteristic Set, Programmirovanie, 2002, vol. 28, no. 2, pp. 34–37 [Programming Comput. Software, 2002, vol. 28, no. 2, pp. 81–83].

    MathSciNet  Google Scholar 

  15. Mansfield, E., Differential Gröbner Bases, 1993.

  16. Ollivier, F., Standard Bases of Differential Ideals, Lecture Notes in Computer Science, 1990, vol. 508, pp. 304–321.

    MathSciNet  Google Scholar 

  17. Weispfenning, V., Differential Term-Orders, Proc. of ISSAC, 1993, pp. 245–253.

  18. Zobnin, A., Essential Properties of Admissible Orderings and Rankings, Contrib. General Alg., 2004, vol. 14, pp. 205–221; available at http://shade.msu.ru/:_difalg/DSB.

    MATH  MathSciNet  Google Scholar 

  19. Zobnin, A., Some Results on Differential Gröbner Bases, Proc. of the A3L 2005, Dolzmann, A., Seidl, A., and Sturm, Th., Eds., 2005, pp. 309–314; available at http://shade.msu.ru/:_difalg/DSB.

Download references

Author information

Authors and Affiliations

  1. Department of Mechanics and Mathematics, Moscow State University, Leninskie gory, Moscow, 119992, Russia

    M. V. Kondratieva & A. I. Zobnin

Authors
  1. M. V. Kondratieva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. I. Zobnin
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Original Russian Text © M.V. Kondratieva, A.I. Zobnin, 2006, published in Programmirovanie, 2006, Vol. 32, No. 3.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kondratieva, M.V., Zobnin, A.I. Membership problem for differential ideals generated by a composition of polynomials. Program Comput Soft 32, 123–127 (2006). https://doi.org/10.1134/S0361768806030017

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768806030017

Keywords

Search

Navigation