(ring,CoherentSheaf)
ring F
-- produce the coordinate ring of the variety on which a coherent sheaf
F
is defined.
See also
CoherentSheaf
.