Towards an Effective Version of a Theorem of Stafford

A classical theorem of Stafford says: every left ideal of partial differential operators with rational or even polynomial coefficients in n variables can be generated by two elements. The highly involved proof of this theorem is reorganized and completed for rational coefficients in order to yield a procedure which guarantees the computability in finitely many steps. Consequences for an eventual normal form for matrices of such operators are discussed.