Trager's Hermite reduction solves the integration problem for algebraic functions via integral bases. A generalization of this algorithm to D-finite functions has so far been limited to the Fuchsian case. In the present paper, we remove this restriction and propose a reduction algorithm based on integral bases that is applicable to arbitrary D-finite functions.

翻译：Trager的Hermite约简通过积分基解决了代数函数的积分问题。该算法对D-有限函数的推广此前仅限于Fuchs情形。本文去除了这一限制，提出了一种基于积分基且适用于任意D-有限函数的约简算法。