-- -*- M2-comint -*- hash: 3350294541232139096

i1 : D = makeWeylAlgebra(frac(QQ[ϵ])[x]);

i2 : I = ideal(x*(1-x)*dx^2 - ϵ*(1-x)*dx);

o2 : Ideal of D

i3 : A = connectionMatrices(I, {1_D, 1/ϵ*dx})

o3 = {| 0 ϵ   |}
      | 0 ϵ/x |

o3 : List

i4 : isEpsilonFactorized(A, ϵ)

o4 = true

i5 : 
