https://123dok.net/document/qvl3e11y-constructive-computation-of-bases-of-free-modules-over-the-weyl-algebras.html