Let R be a differential ring with n commuting derivations and let be the ring of differential operators in the derivatives of with coefficients in R.
Let = be a linear partial differential operator of order in for all and . Let and let .
In 1994 the author gave the notion of left and right differential resultant
of such differential operators with respect to an element in the symmetric group in the case s = n+1 and such notion was extended to the more general case in 1996.
The notion of differential resultant extends the analogous one given by Berkovich and Tsirulik in 1986 in the ordinary case and it gives necessary conditions on the coefficients of the operators and some of their derivatives, in order that the system { : } has a nonzero solution.
Such differential resultants where defined as determinants of submatrices N of maximal rank in a -matrix RM (respectively LM) associated to the operators and their derivatives until order d, where for all j and .
In this paper it is shown that if we consider the upper triangular form T(RM) of RM (respectively T(LM) of LM) using only row operations, then the differential resultants are divisors of the entries of in the last column and in the rows with only a nonzero entry. Furthermore, if such differential resultants are all zero, then a triangular form for the system is provided. Unfortunately the corresponding system is not always completely integrable i.e. autoreduced and coherent, on the other hand such triangular form is useful for finding the integrability conditions.