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

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

Synopsis

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(I, W^1 / ideal{dX,dY,dZ})
pruneLocalCohom h

Caveat

The modules returned are not simplified, use pruneLocalCohom.

See also