codim(Module) -- codimension of the support of a module

• Function: codim

• Usage:

  codim M

• Inputs:
  • M, a module, a module over a ring R
• Optional inputs:
  • Generic => ..., default value false,
• Outputs:
  • an integer

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

i2 : M = coker matrix{{a,b},{c,d}}

o2 = cokernel | a b |
              | c d |

                            2
o2 : R-module, quotient of R

i3 : codim M

o3 = 1