projectionMaps -- projections of a multi-projective variety

i1 : X = random({{1,1},{1,1}},0_(PP_(ZZ/101)^{3,1}));

o1 : ProjectiveVariety, surface in PP^3 x PP^1

i2 : p = projectionMaps X;

i3 : p_0

o3 = multi-rational map consisting of one single rational map
     source variety: surface in PP^3 x PP^1 cut out by 3 hypersurfaces of multi-degrees (1,1)^2 (2,0)^1 
     target variety: surface in PP^3 defined by a form of degree 2
     dominance: true

o3 : MultirationalMap (dominant rational map from X to surface in PP^3)

i4 : p_1

o4 = multi-rational map consisting of one single rational map
     source variety: surface in PP^3 x PP^1 cut out by 3 hypersurfaces of multi-degrees (1,1)^2 (2,0)^1 
     target variety: PP^1
     dominance: true

o4 : MultirationalMap (dominant rational map from X to PP^1)