Macaulay2 » Documentation
Packages » BernsteinSato :: rationalFunctionExt
next | previous | forward | backward | up | index | toc

rationalFunctionExt -- Ext(holonomic D-module, polynomial ring localized at the singular locus)



The Ext groups between M and N are the derived functors of Hom, and are finite-dimensional vector spaces over the ground field when M and N are holonomic.

The algorithm used appears in the paper 'Polynomial and rational solutions of holonomic systems' by Oaku-Takayama-Tsai (2000). The method is to combine isomorphisms of Bjork and Kashiwara with the restriction algorithm.

i1 : W = QQ[x, D, WeylAlgebra=>{x=>D}]

o1 = W

o1 : PolynomialRing, 1 differential variable(s)
i2 : M = W^1/ideal(x*D+5)

o2 = cokernel | xD+5 |

o2 : W-module, quotient of W
i3 : rationalFunctionExt M

o3 = HashTable{0 => QQ }
               1 => QQ

o3 : HashTable


Input modules M or D/I should be holonomic.

See also

Ways to use rationalFunctionExt :

For the programmer

The object rationalFunctionExt is a method function with options.