-- -*- M2-comint -*- hash: 2267358847409214388

i1 : A = QQ[x]

o1 = A

o1 : PolynomialRing

i2 : B = QQ[y]

o2 = B

o2 : PolynomialRing

i3 : c = 2_B

o3 = 2

o3 : B

i4 : f = map(B,A,gens B)

o4 = map (B, A, {y})

o4 : RingMap B <-- A

i5 : extensionAlgebra(f,c)

     QQ[E , x]
         0
o5 = ---------
       2
      E  - 2E
       0     0

o5 : QuotientRing

i6 : oo.PullBack

             QQ[E , x]
                 0
o6 = map (B, ---------, {2, y})
               2
              E  - 2E
               0     0

                   QQ[E , x]
                       0
o6 : RingMap B <-- ---------
                     2
                    E  - 2E
                     0     0

i7 : 
