Computing homomorphisms between holonomic \(D\)-modules

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

Harrison Tsai, Uli Walther

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

algorithms; rings of differential operators; explicit generators; holonomic modules

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

16E30: Homological functors on modules (Tor, Ext, etc.) in associative algebras

16S32: Rings of differential operators (associative algebraic aspects)

16Z05: Computational aspects of associative rings (general theory)

Related Items

Polynomial and rational solutions of holonomic systems, The computation of the logarithmic cohomology for plane curves, Gröbner bases and logarithmic \(\mathcal D\)-modules., Factoring and decomposing a class of linear functional systems, Algebraic solutions of Jacobi equations

Uses Software

• Macaulay2
• D-modules

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item