MultiprojectiveVariety ** MultiprojectiveVariety -- product of two multi-projective varieties

i1 : PP(ZZ/101);
-- the ring ZZ/101 is set to be the default coefficient ring; now PP may be used as an abbreviation for PP_ZZ/101

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