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

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

o1 = R

o1 : PolynomialRing

i2 : M = cokernel matrix {{x^2, 0, 0}, {0, dx^3, 0}, {0, 0, x^3}}

o2 = cokernel | x2 0    0  |
              | 0  dx^3 0  |
              | 0  0    x3 |

                            3
o2 : R-module, quotient of R

i3 : factorBFunction bFunction(M, {1}, {0,0,0})

o3 = (s)(s - 2)(s - 1)(s + 1)(s + 2)(s + 3)

o3 : Expression of class Product

i4 : factorBFunction bFunction(M, {1}, {1,2,3})

o4 = (s)(s - 4)(s - 3)(s - 2)(s - 1)(s + 1)

o4 : Expression of class Product

i5 :