-- -*- M2-comint -*- hash: 17614335774321141832

i1 : R = QQ[x_1..x_3, a,b];

i2 : S = diffOpRing R;

i3 : gens S

o3 = {dx , dx , dx , da, db}
        1    2    3

o3 : List

i4 : coefficientRing S

o4 = R

o4 : PolynomialRing

i5 : ring diffOp(dx_3^2) === S

o5 = true

i6 : ring diffOp(a_R) === S

o6 = true

i7 : diffOpRing R === S

o7 = true

i8 : 
