2000/07/24 by Harrison Tsai, Uli Walther, Tsai, Harrison +1
Computer Science · Mathematics · #16E30 #16Z05 #35N10 #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #FOS: Mathematics #Polynomial and algebraic computation #Rings and Algebras (math.RA) #math.RA #msc:16E30 #msc:16Z05 #msc:35N10
paper · pdf · doi:10.48550/arxiv.math/0007139
30 pages, AMS-LaTex, uses verbatim,amsmath,latexsym,amssymb,amsbsy,diagrams
arxiv created 2000/07/24 · openalex publication_date 2000/07/24 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let K be a subfield of the complex numbers, and let D be the Weyl algebra of K-linear differential operators on K[x1,...,xn]. If M and N are holonomic left D-modules we present an algorithm that computes explicit generators for the finite dimensional vector space homD(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 extiD(M,N) for any i.