(module,CoherentSheaf)

module F -- produce the module from which the coherent sheaf F was defined.

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



o1 = Proj(QQ[x,y,z])



o1 : ProjectiveVariety

i2 : F = OO_X(3)



                      1

o2 = sheaf((QQ[x,y,z]) )



o2 : CoherentSheaf

i3 : module F



                1

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



o3 : QQ[x,y,z] - module, free

i4 : degrees oo



o4 = {{-3}}



o4 : List