projections -- projections of a multi-projective variety

i1 : X = projectiveVariety(ZZ/101[x_0..x_3]) ** projectiveVariety(ZZ/101[y_0..y_2]);

o1 : ProjectiveVariety, PP^3 x PP^2

i2 : projections X

o2 = {-- rational map --                                       , -- rational map --                                       }
                    ZZ                          ZZ                             ZZ                          ZZ
      source: Proj(---[x , x , x , x ]) x Proj(---[y , y , y ])  source: Proj(---[x , x , x , x ]) x Proj(---[y , y , y ])
                   101  0   1   2   3          101  0   1   2                 101  0   1   2   3          101  0   1   2
                    ZZ                                                         ZZ
      target: Proj(---[x , x , x , x ])                          target: Proj(---[y , y , y ])
                   101  0   1   2   3                                         101  0   1   2
      defining forms: {                                          defining forms: {
                       x ,                                                        y ,
                        0                                                          0
                                                                                  
                       x ,                                                        y ,
                        1                                                          1
                                                                                  
                       x ,                                                        y
                        2                                                          2
                                                                                 }
                       x
                        3
                      }

o2 : List