-- -*- M2-comint -*- hash: 13793132733634213480

i1 : R = QQ[x,y]

o1 = R

o1 : PolynomialRing

i2 : S = QQ[s,t,u]

o2 = S

o2 : PolynomialRing

i3 : f = map(R,S,{x^2,x*y,y^2})

                  2        2
o3 = map (R, S, {x , x*y, y })

o3 : RingMap R <-- S

i4 : graphIdeal f

               2                       2
o4 = ideal (- p  + p , - p p  + p , - p  + p )
               0    2     0 1    3     1    4

o4 : Ideal of QQ[p ..p ]
                  0   4

i5 : 
