-- -*- M2-comint -*- hash: 1730972477008537971

i1 : phi = first graph quadroQuadricCremonaTransformation(3,1)

o1 = -- rational map --
     source: subvariety of Proj(QQ[x , x , x , x ]) x Proj(QQ[y , y , y , y ]) defined by
                                    0   1   2   3              0   1   2   3
             {
              x y  - x y ,
               3 2    2 3
              
              x y  + x y ,
               3 1    1 3
              
              x y  + x y ,
               2 1    1 2
              
              x y  - x y  + x y  + x y
               0 0    1 1    2 2    3 3
             }
     target: Proj(QQ[x, y, z, t])
     defining forms: {
                      x ,
                       0
                      
                      x ,
                       1
                      
                      x ,
                       2
                      
                      x
                       3
                     }

o1 : MultihomogeneousRationalMap (birational map from threefold in PP^3 x PP^3 to PP^3)

i2 : segre phi

o2 = -- rational map --
     source: subvariety of Proj(QQ[x , x , x , x ]) x Proj(QQ[y , y , y , y ]) defined by
                                    0   1   2   3              0   1   2   3
             {
              x y  - x y ,
               3 2    2 3
              
              x y  + x y ,
               3 1    1 3
              
              x y  + x y ,
               2 1    1 2
              
              x y  - x y  + x y  + x y
               0 0    1 1    2 2    3 3
             }
     target: Proj(QQ[t , t , t , t , t , t , t , t , t , t , t  , t  ])
                      0   1   2   3   4   5   6   7   8   9   10   11
     defining forms: {
                      x y ,
                       0 1
                      
                      x y ,
                       0 2
                      
                      x y ,
                       0 3
                      
                      x y ,
                       1 0
                      
                      x y ,
                       1 1
                      
                      x y ,
                       2 0
                      
                      -x y ,
                        1 2
                      
                      x y ,
                       2 2
                      
                      x y ,
                       3 0
                      
                      -x y ,
                        1 3
                      
                      x y ,
                       2 3
                      
                      x y
                       3 3
                     }

o2 : MultihomogeneousRationalMap (rational map from threefold in PP^3 x PP^3 to PP^11)

i3 : 
