codim -- compute the codimension

Caveat

Over the integers, the computation effectively tensors first with the rational numbers, yielding the wrong answer in some cases.

codim(CoherentSheaf) -- codimension of the support of a coherent sheaf on a projective variety
codim(Ideal) -- compute the codimension
codim(MonomialIdeal), see codim(Ideal) -- compute the codimension
codim(Module) -- codimension of the support of a module
codim(ProjectiveVariety) -- codimension of the projective variety
codim(PolynomialRing), see codim(QuotientRing) -- compute the codimension
codim(QuotientRing) -- compute the codimension