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 |
The object projections is a method function.