-- -*- M2-comint -*- {* hash: -2011718420 *} i1 : R = QQ[x,y,z]; i2 : X = Proj R o2 = X o2 : ProjectiveVariety i3 : Ext^0(OO_X^1, OO_X^1) 1 o3 = QQ o3 : QQ-module, free i4 : Ext^0(OO_X^1, OO_X^1(*)) 1 o4 = R o4 : R-module, free i5 : Ext^0(OO_X^1, OO_X(*)) 1 o5 = R o5 : R-module, free i6 :