Сложность распознавания неприводимости системы линейных обыкновенных дифференциальных уравнений

Пусть дана система $Y'=AY$ линейных дифференциальных уравнений первого порядка, где элементы $n\times n$ матрицы $A$ — рациональные функции $a_{i,j}\in\mathbb{Q}(X)$, причем $\mathrm{deg}(a_{i,j})<d$ и битовый размер всякого (рационального) коэффициента функции $a_{i,j}$ не превосходит $M$. Система называется неприводимой, если в пространстве $V$ решений системы нет собственных подпространств инвариантных относительно на $V$ дифференциальной группы Галуа системы. Построен алгоритм, распознающий неприводимость системы за время $\exp(M(d2^n)^{d2^{2n}})$. Библ. – 8 назв.