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 |
The object extensionAlgebra is a method function with options.