codim(Variety) -- codimension of a variety

Synopsis

• Function: codim

• Usage:

  codim V

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

Description

i1 : R = ZZ/101[x_0..x_3];

i2 : M = matrix{{x_0,x_1,x_2},{x_1,x_2,x_3}}

o2 = | x_0 x_1 x_2 |
     | x_1 x_2 x_3 |

             2      3
o2 : Matrix R  <-- R

i3 : V = Proj(R/minors(2,M));

i4 : codim V

o4 = 2

Caveat

See also

• codim(QuotientRing) -- compute the codimension