-- -*- M2-comint -*- hash: 15085452973884741448

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

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

o2 : Ideal of D1

i3 : SM1 = standardMonomials I

o3 = {1, dy}

o3 : List

i4 : F = baseFractionField D1;

i5 : D2 = makeWeylAlgebra(QQ[x, y], w2 = {1, 2});

i6 : SM2 = standardMonomials sub(I, D2)

o6 = {1, dx}

o6 : List

i7 : gaugeMatrix(I, SM2)

o7 = | 1    0    |
     | -1/x -y/x |

             2      2
o7 : Matrix F  <-- F

i8 : 
