variety O
i1 : X = Proj(QQ[x..z]) o1 = X o1 : ProjectiveVariety
i2 : O = OO_X o2 = OO X o2 : SheafOfRings
i3 : variety O o3 = X o3 : ProjectiveVariety
../../../../../Macaulay2/packages/Varieties.m2:312:27-312:32: --source code: variety CoherentSheaf := F -> F.variety