In this paper, we present an algorithm to decompose differential
polynomials in one variable and with rational number as
coefficients. Besides arithmetic operations, the algorithm needs
only factorization of multi-variable polynomials and solution of
linear equation systems. Experimental results show that our method
is quite efficient.We also show how to extend the algorithm to the case when
thecoefficients of the differential polynomials are rational functions.
|