-- -*- M2-comint -*- hash: 17713620753841810583

i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing

i2 : A = matrix{ {x, x^6 + y^6 + z*x^5},
                 {-y, y^6 + z*x^3*y^2},
                 {0, x^6 + x*y^4*z}
               };

             3      2
o2 : Matrix R  <-- R

i3 : I = minors(2, A) -- a birational map

             6       6    7    5       4 2    7    2 4      6       5
o3 = ideal (x y + x*y  + y  + x y*z + x y z, x  + x y z, - x y - x*y z)

o3 : Ideal of R

i4 : prune Hm1Rees0 I

o4 = 0

o4 : QQ[Z ..Z ]-module
         1   3

i5 : A = matrix{ {x^2, x^2 + y^2},
                 {-y^2, y^2 + z*x},
                 {0, x^2}
               };

             3      2
o5 : Matrix R  <-- R

i6 : I = minors(2, A) -- a non birational map

              2 2    4    3    4    2 2
o6 = ideal (2x y  + y  + x z, x , -x y )

o6 : Ideal of R

i7 : Hm1Rees0 I

                 1
o7 = (QQ[Z ..Z ])
          1   3

o7 : QQ[Z ..Z ]-module, free, degrees {2}
         1   3

i8 : 
