variety CoherentSheaf -- get the variety under a sheaf

variety CoherentSheaf -- get the variety under a sheaf

Synopsis:

Function: variety -- get the variety

Input:

an instance of class CoherentSheaf.

Output:

an instance of class Variety.

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, free

i3 : variety oo



o3 = X



o3 : ProjectiveVariety

Code:

     -- ../../../Macaulay2/m2/varieties.m2:113
     variety CoherentSheaf := Variety => (F) -> F.variety