(codim,CoherentSheaf)
codim F
-- calculate the codimension of the support of a coherent sheaf.
See also
CoherentSheaf
.