-- -*- M2-comint -*- hash: 10567179842718268782

i1 : X = PP_QQ^(2,2);

o1 : ProjectiveVariety, surface in PP^5

i2 : class X

o2 = EmbeddedProjectiveVariety

o2 : Type

i3 : Y = X ** X;

o3 : ProjectiveVariety, X x X

i4 : class Y

o4 = MultiprojectiveVariety

o4 : Type

i5 : 
