next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Dmodules :: localCohom(List,Ideal,Module)

localCohom(List,Ideal,Module) -- local cohomology of a D-module

Synopsis

Description

See localCohom(Ideal,Module) for the full description.
W = QQ[X, dX, Y, dY, Z, dZ, WeylAlgebra=>{X=>dX, Y=>dY, Z=>dZ}]
I = ideal (X*(Y-Z), X*Y*Z)
h = localCohom({1,2}, I, W^1 / ideal{dX,dY,dZ})
pruneLocalCohom h

See also