-- -*- M2-comint -*- hash: 15598732178527898480

i1 : R = QQ[x,y]/(y^2-x^3)

o1 = R

o1 : QuotientRing

i2 : H = (y * ideal(x,y)) : ideal(x,y)

                2
o2 = ideal (y, x )

o2 : Ideal of R

i3 : (F,G) = ringFromFractions(((gens H)_{1}), H_0);

i4 : S = target F

o4 = S

o4 : QuotientRing

i5 : F

o5 = map (S, R, {x, y})

o5 : RingMap S <-- R

i6 : G

                           y
o6 = map (frac R, frac S, {-, x, y})
                           x

o6 : RingMap frac R <-- frac S

i7 : 
