-- -*- M2-comint -*- {* hash: -299195451 *} i1 : W = QQ[x, D, WeylAlgebra=>{x=>D}] o1 = W o1 : PolynomialRing i2 : M = W^1/ideal(x^2*D^2) o2 = cokernel | x2D2 | 1 o2 : W-module, quotient of W i3 : PolyExt(M) 2 o3 = HashTable{0 => QQ } 2 1 => QQ o3 : HashTable i4 :