-- -*- M2-comint -*- hash: 17415580085144673548

i1 : K = ZZ/33331;

i2 : X = PP_K^(2,2);

o2 : ProjectiveVariety, surface in PP^5

i3 : Y = PP_K^({1,1,1},{2,3,1});

o3 : ProjectiveVariety, threefold in PP^2 x PP^3 x PP^1

i4 : Z = PP_K^(1,4);

o4 : ProjectiveVariety, curve in PP^4

i5 : ∏ {X,Y,Z};

o5 : ProjectiveVariety, X x Y x Z

i6 : assert(oo == ∏ {X ** Y,Z} and ∏ {X ** Y,Z} == ∏ {X, Y ** Z})

i7 : 
