DESIR _ _ _ _ _ _ _ _ _ _ _ _ package
Authors: C. Dicrescenzo, F. Richard-Jung, E. Tournier
This package enables the basis of formal solutions to be computed for an ordinary homogeneous differential equation with polynomial coefficients over Q of any order, in the neighborhood of zero (regular or irregular singular point, or ordinary point).