On computing Gröbner bases in rings of differential operators (Q657277)

\textit{M. Insa} and \textit{F. Pauer} [Gröbner bases and applications. Based on a course for young researchers, and the conference ``33 years of Gröbner bases'', Linz, Austria, 1998. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 251, 367--380 (1998; Zbl 0945.13021)] presented a basic theory of Gröbner bases for differential operators with coefficients in a commutative ring. They proposed a criterion for determining if a set of differential operators is a Gröbner basis. This criterion depends on a rather complicated an computationally cumbersome notion of S-polynomials. In the present paper, the quasi-commutativity of the ring of differential operators is used to derive an new and simpler notion of S-polynomial and therefore also a new criterion of checking whether a set of operators is a Gröbner basis.