ИСТИНА

Пусть линейная однородная дифференциально-алгебраическая система A1(x)y'+A0(x)y=0 имеет полный ранг, и некоторые ее неизвестные (компоненты вектора y) выделены. Ранее предложенный алгоритм позволяет получить дифференциальную систему $y'=A(x)y$ для части неизвестных ỹ⊂y и, возможно, алгебраическую систему для выражения не вошедших в дифференциальную систему (в ỹ) выделенных неизвестных через выделенные неизвестные, вошедшие в нее. Рассматривается вопрос о размере получающейся алгебраической системы и возможности возможности влияния на этот размер.