dim X
i1 : X = PP_QQ^({2,1},{1,3}); o1 : ProjectiveVariety, threefold in PP^2 x PP^3
i2 : dim X o2 = 3