(variety,CoherentSheaf)

variety F -- produce the variety over which a coherent sheaf is defined.

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



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



o1 : ProjectiveVariety

i2 : OO_X(3)



                      1

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



o2 : CoherentSheaf

i3 : variety oo



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



o3 : ProjectiveVariety