Resolvent representation for regular differential ideals
We show that the generic zeros of a differential ideal [A] : H-A(infinity) defined by a differential chain A are birationally equivalent to the general zeros of a single regular differential polynomial. This provides a generalization of both the cyclic vector construction for system of linear differential equations and the rational univariate representation of algebraic zero dimensional radical ideals. In order to achieve generality, we prove new results on differential dimension and relative orders which are of independent interest.
resolvent cyclic vector differential algebra differential primitive element computer algebra