codim -- compute the codimension

Ways to use codim :

• "codim(BettiTally)" -- see BettiTally -- the class of all Betti tallies
• codim(CoherentSheaf) -- codimension of the support of a coherent sheaf on a projective variety
• codim(Ideal) -- compute the codimension
• codim(Module) -- codimension of the support of a module
• codim(MonomialIdeal) -- compute the codimension
• codim(ProjectiveVariety) -- codimension of the projective variety
• "codim(PolynomialRing)" -- see codim(QuotientRing) -- compute the codimension
• codim(QuotientRing) -- compute the codimension

For the programmer

The object codim is a method function with options.