-- -*- M2-comint -*- hash: 12353220217935748127

i1 : D = makeWeylAlgebra(QQ[x,y], {1, 2});

i2 : I = ideal(x*dx^2 - y*dy^2 + dx-dy, x*dx+y*dy+1);

o2 : Ideal of D

i3 : A = connectionMatrices I;

i4 : assert isIntegrable(D, A)

i5 : assert isIntegrable A

i6 : 
