A generalization of the Boulier-Buchberger criterion for the computation of characteristic sets of differential ideals (Q2122135)

In [\textit{F. Boulier} et al., Appl. Algebra Eng. Commun. Comput. 20, No. 1, 73--121 (2009; Zbl 1185.12003)] the authors presented a differential analog of the Buchberger criterion for the computation of Gröbner bases of polynomial ideals given in [\textit{B. Buchberger}, Lect. Notes Comput. Sci. 72, 3--21 (1979; Zbl 0417.68029)]. The original differential version of the criterion (that detects useless reductions of \(S\)-polynomials in the computation of characteristic sets of differential ideals) requires linear polynomials. Later on, this result was extended in [\textit{A. Hashemi} and \textit{Z. Touraji}, Lect. Notes Comput. Sci. 8592, 466--471 (2014; Zbl 1434.13001)] to the case of products of linear factors (however, this paper does not contain a complete proof of the result). The paper under review presents a more general statement where the linear factors are not assumed to depend on the same differential indeterminate, but only on some differential polynomial.