i1 : W = QQ[X, dX, Y, dY, Z, dZ, WeylAlgebra=>{X=>dX, Y=>dY, Z=>dZ}]
o1 = W
o1 : PolynomialRing
|
i3 : h = localCohom(2, I, W^1 / ideal{dX,dY,dZ})
WARNING! Dlocalization is an obsolete name for Dlocalize
WARNING! Dlocalization is an obsolete name for Dlocalize
WARNING! Dlocalization is an obsolete name for Dlocalize
o3 = HashTable{2 => cokernel | -X2Y2Z2 X2Y2-2X2YZ+X2Z2 YdY+ZdZ+6 XdX+4
------------------------------------------------------------------------
YZdZ-Z2dZ+2Y-4Z dYZ2dZ+Z2dZ^2+4dYZ+8ZdZ+10 |}
o3 : HashTable
|