(1) Faculté des Sciences Semlalia, Département de mathématiques, B.P S15, Avenue Safi, Marrakech, Maroc
Abstract:
We present an algorithm that tests the triviality and computes the differential dimension and a parametric set for an ordinary differential polynomial ideal. No factorization is needed. The basic operation in our algorithm is the test of invertibility of an algebraic polynomial with respect to a finite set of algebraic polynomials. The algorithm has been implemented in the computer algebra system MAPLE and has been tested successfully on many examples.