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

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

o1 = W

o1 : PolynomialRing

i2 : M = matrix {{dx,0,0},{0,dx,0},{0,0,dx}} -- coker M = QQ[x]^3 

o2 = | dx 0  0  |
     | 0  dx 0  |
     | 0  0  dx |

             3       3
o2 : Matrix W  <--- W

i3 : h = makeCyclic M

                               3
o3 = HashTable{AnnG => ideal(dx ) }
               Generator => | x2 |
                            | x  |
                            | 1  |

o3 : HashTable

i4 :