i2 : X = projectiveVariety ideal(random({2,1},ring PP^{2,1}),random({1,1},ring PP^{2,1}));
o2 : ProjectiveVariety, curve in PP^2 x PP^1
|
i3 : Y = projectiveVariety ideal random({1,1,1},ring PP^{1,2,1});
o3 : ProjectiveVariety, hypersurface in PP^1 x PP^2 x PP^1
|
i4 : X ** Y
o4 = 4-dimensional subvariety of PP^2 x PP^1 x PP^1 x PP^2 x PP^1 cut out by 4 hypersurfaces of multi-degrees (0,0,1,1,1)^1 (1,1,0,0,0)^1 (2,1,0,0,0)^1 (3,0,0,0,0)^1
o4 : ProjectiveVariety, X x Y
|