A Bound for the Order of Characteristic Set Elements of an Ordinary Prime Differential Ideal and some Applications

  • Brahim Sadik


With respect to an elimination ordering, we give an upper bound for the order of characteristic set elements of an ordinary prime differential ideal. Using some results of complexity in the algebraic case, we show that computing characteristic sets of ordinary prime differential ideals, by change of ordering, is single exponential time.

Keywords: Differential algebra, Prime differential ideals, Characteristic sets, Differential dimension, Complexity. 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Brahim Sadik
    • 1
  1. 1.Département de Mathématiques, Faculté des Sciences Semlalia, B.P. 2390, Avenue Safi, Marrakech, Morocco (e-mail: sadik@ucam.ac.ma)MA

Personalised recommendations