-- -*- M2-comint -*- {* hash: 425971791 *}

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

o1 = W

o1 : PolynomialRing

i2 : M = W^1/ideal(x*(D-1))

o2 = cokernel | xD-x |

                            1
o2 : W-module, quotient of W

i3 : N = W^1/ideal((D-1)^2)

o3 = cokernel | D2-2D+1 |

                            1
o3 : W-module, quotient of W

i4 : DExt(M,N)

                      2
o4 = HashTable{0 => QQ }
                      2
               1 => QQ

o4 : HashTable

i5 :