i2 : projections X
o2 = {-- rational map -- ,
ZZ ZZ
source: Proj(---[x0 , x0 , x0 , x0 ]) x Proj(---[x1 , x1 , x1 ])
101 0 1 2 3 101 0 1 2
ZZ
target: Proj(---[x , x , x , x ])
101 0 1 2 3
defining forms: {
x0 ,
0
x0 ,
1
x0 ,
2
x0
3
}
------------------------------------------------------------------------
-- rational map -- }
ZZ ZZ
source: Proj(---[x0 , x0 , x0 , x0 ]) x Proj(---[x1 , x1 , x1 ])
101 0 1 2 3 101 0 1 2
ZZ
target: Proj(---[y , y , y ])
101 0 1 2
defining forms: {
x1 ,
0
x1 ,
1
x1
2
}
o2 : List
|