Algorithmic proofs of two theorems of Stafford
Abstract
Two 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.
 Publication:

arXiv Mathematics eprints
 Pub Date:
 April 2002
 DOI:
 10.48550/arXiv.math/0204303
 arXiv:
 arXiv:math/0204303
 Bibcode:
 2002math......4303L
 Keywords:

 Rings and Algebras;
 Algebraic Geometry;
 16S32(Primary);
 14Q20 (Secondary)
 EPrint:
 12 pages