i1 : phi = map(QQ[x_0..x_3],QQ[y_0..y_2],{-x_1^2+x_0*x_2,-x_1*x_2+x_0*x_3,-x_2^2+x_1*x_3})
2 2
o1 = map(QQ[x , x , x , x ],QQ[y , y , y ],{- x + x x , - x x + x x , - x + x x })
0 1 2 3 0 1 2 1 0 2 1 2 0 3 2 1 3
o1 : RingMap QQ[x , x , x , x ] <--- QQ[y , y , y ]
0 1 2 3 0 1 2
|
i2 : graph phi
QQ[x , x , x , x , y , y , y ]
0 1 2 3 0 1 2
o2 = (map(----------------------------------------,QQ[x , x , x , x ],{x ,
(x y - x y + x y , x y - x y + x y ) 0 1 2 3 0
3 0 2 1 1 2 2 0 1 1 0 2
------------------------------------------------------------------------
QQ[x , x , x , x , y , y , y ]
0 1 2 3 0 1 2
x , x , x }), map(----------------------------------------,QQ[y , y ,
1 2 3 (x y - x y + x y , x y - x y + x y ) 0 1
3 0 2 1 1 2 2 0 1 1 0 2
------------------------------------------------------------------------
y ],{y , y , y }))
2 0 1 2
o2 : Sequence
|