codim(MultiprojectiveVariety) -- the codimension of the variety

Synopsis

• Function: codim

• Usage:

  codim X

• Inputs:
  • X, a multi-projective variety
• Outputs:
  • an integer, the codimension of $X$

Description

i1 : X = PP_QQ^({2,1},{1,3});

o1 : ProjectiveVariety, threefold in PP^2 x PP^3

i2 : codim X

o2 = 2

See also

• dim(MultiprojectiveVariety) -- the dimension of the variety