# variety(CoherentSheaf)

## Description

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

 i1 : X = Proj(QQ[x,y,z]) o1 = X o1 : ProjectiveVariety i2 : OO_X(3) 1 o2 = OO (3) X o2 : coherent sheaf on X i3 : variety oo o3 = X o3 : ProjectiveVariety