2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/63909Two classical results of Stafford say that every (left) ideal of the $n$-th Weyl algebra $A_n$ can be generated by two elements, and every holonomic $A_n$-module is cyclic, i.e. generated by one element. We modify Stafford's original proofs to make the algorithmic computation of these generators possible.12 pagesRings and AlgebrasAlgebraic Geometry16S32(Primary), 14Q20 (Secondary)text