codim(MonomialIdeal) -- compute the codimension

Synopsis

• Function: codim

• Usage:

  codim I

• Inputs:
  • I, a monomial ideal
• Optional inputs:
  • Generic (missing documentation) => ..., default value false,
• Outputs:
  • an integer

Description

i1 : R = ZZ/101[a..e];

i2 : codim monomialIdeal (b,c,d)

o2 = 3

i3 : codim monomialIdeal (b^3,c^2)

o3 = 2

See also

• dim(Ideal) -- compute the Krull dimension
• dim(MonomialIdeal) -- compute the Krull dimension
• codim(Ideal) -- compute the codimension