codim(MonomialIdeal) -- compute the codimension

• Function: codim

• Usage:

  codim I

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

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

i2 : codim monomialIdeal (b,c,d)

o2 = 3

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

o3 = 2