2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/59608Let K be a subfield of the complex numbers, and let D be the Weyl algebra of K-linear differential operators on K[x_1,...,x_n]. If M and N are holonomic left D-modules we present an algorithm that computes explicit generators for the finite dimensional vector space hom_D(M,N). This enables us to answer algorithmically whether two given holonomic modules are isomorphic. More generally, our algorithm can be used to get explicit generators for ext^i_D(M,N) for any i.30 pages, AMS-LaTex, uses verbatim,amsmath,latexsym,amssymb,amsbsy,diagramsRings and Algebras16Z05; 16E30; 35N10text