Computing homomorphisms between holonomic \(D\)-modules

DOI10.1006/jsco.2001.0485zbMath1010.16023arXivmath/0007139OpenAlexW2166972372MaRDI QIDQ5960295

Uli Walther, Harrison Tsai

Publication date: 15 April 2002

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0007139

zbMATH Keywords

algorithmsrings of differential operatorsexplicit generatorsholonomic modules

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Rings of differential operators (associative algebraic aspects) (16S32) Computational aspects of associative rings (general theory) (16Z05)

Related Items

A \(D\)-modules approach on the equations of the Rees algebra ⋮ Combinatorially determined zeroes of Bernstein--Sato ideals for tame and free arrangements ⋮ Gröbner bases and logarithmic \(\mathcal D\)-modules. ⋮ Factoring and decomposing a class of linear functional systems ⋮ The computation of the logarithmic cohomology for plane curves ⋮ Polynomial and rational solutions of holonomic systems ⋮ Algebraic solutions of Jacobi equations

Uses Software

• Macaulay2
• D-modules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decompositions of algebras over \(\mathbb{R}\) and \(\mathbb{C}\)
• On the theory of b-functions
• On the holonomic systems of linear differential equations. II
• An algorithm for de Rham cohomology groups of the complement of an affine variety via \(D\)-module computation
• Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
• Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules
• Algorithmic computation of de Rham cohomology of complements of complex affine varieties
• Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups