An Algorithm of Constructing Cohomological Series Solutions of Holonomic Systems

2003/09/30 by Nobuki Takayama
Mathematics · #math.AG

paper · pdf

published as Journal of Japan Society for Symbolic and Algebraic Computation, vol10, 2004

arxiv created 2004/03/31 · arxiv updated 2009/12/01

Abstract

We present an algorithm to construct a basis of k-th extension group of a D-module M in ring of the formal power series Ext_D^k(M,O).

Related

• Algorithms for D-modules --- restriction, tensor product, localization, and local cohomology groups
• Van den Essen's theorem on the de Rham cohomology of a holonomic\n D-module over a formal power series ring
• Regular and irregular holonomic D-modules
• A Localization Algorithm for D-modules
• Polynomial and rational solutions of holonomic systems