-- -*- M2-comint -*- hash: 5585480237515669149

i1 : R = QQ[x,y];

i2 : S = QQ[a,b,c];

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

o3 : RingMap R <-- S

i4 : mapOntoImage(f)

                 S       2        2
o4 = map (R, --------, {x , x*y, y })
              2
             b  - a*c

                       S
o4 : RingMap R <-- --------
                    2
                   b  - a*c

i5 : phi = rationalMapping f

                               2        2
o5 = Proj R - - - > Proj S   {x , x*y, y }

o5 : RationalMapping

i6 : mapOntoImage(phi)

                        /    S   \     2        2
o6 = Proj R - - - > Proj|--------|   {x , x*y, y }
                        | 2      |
                        \b  - a*c/

o6 : RationalMapping

i7 : 
