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

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 : oo ** oo

        1           2          1
o3 = OO  (-6) ++ OO  (1) ++ OO  (8)
       X           X          X

o3 : coherent sheaf on X, free

i4 :