dim(MultiprojectiveVariety) -- the dimension of the variety

• Function: dim

• Usage:

  dim X

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

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

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

i2 : dim X

o2 = 3