-- -*- M2-comint -*- {* hash: 1504454679 *}

i1 : X = Proj(QQ[x,y,z])

o1 = X

o1 : ProjectiveVariety

i2 : OO_X(3) ++ OO_X(4)

        1          1
o2 = OO  (3) ++ OO  (4)
       X          X

o2 : coherent sheaf on X, free

i3 : module oo

                  2
o3 = (QQ[x, y, z])

o3 : QQ[x, y, z]-module, free, degrees {-3, -4}

i4 :