i1 : X = Proj(QQ[x,y,z])
o1 = X
o1 : ProjectiveVariety
|
i2 : F = OO_X
o2 = OO
X
o2 : SheafOfRings
|
i3 : G = F(3)
1
o3 = OO (3)
X
o3 : coherent sheaf on X, free of rank 1
|
i4 : module G
1
o4 = (QQ[x..z])
o4 : QQ[x..z]-module, free, degrees {-3}
|
i5 : degrees oo
o5 = {{-3}}
o5 : List
|