Explicit degree bounds for right factors of linear differential operators

Alin Bostan, Tanguy Rivoal, Bruno Salvy

Published 2019-06-13Version 1

If a linear differential operator with rational function coefficients is reducible, its factors may have coefficients with numerators and denominators of very high degree. We give a completely explicit bound for the degrees of the (monic) right factors in terms of the degree and the order of the original operator, as well as the largest modulus of the local exponents at all its singularities, for which bounds are known in terms of the degree, the order and the height of the original operator.