next | previous | forward | backward | up | top | index | toc | Macaulay2 website
MultiprojectiveVarieties :: codim(MultiprojectiveVariety)

codim(MultiprojectiveVariety) -- the codimension of the variety

Synopsis

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