i1 : M = random(ZZ^3, ZZ^5) o1 = | 0 6 4 7 4 | | 6 1 8 0 7 | | 3 1 7 2 6 | 3 5 o1 : Matrix ZZ <--- ZZ |
i2 : R = QQ[x,y,z] o2 = R o2 : PolynomialRing |
i3 : phi = makeRingMaps(M,R) o3 = {map(QQ,R,{0, 6, 3}), map(QQ,R,{6, 1, 1}), map(QQ,R,{4, 8, 7}), ------------------------------------------------------------------------ map(QQ,R,{7, 0, 2}), map(QQ,R,{4, 7, 6})} o3 : List |
i4 : apply (gens(R),r->phi#2 r) o4 = {4, 8, 7} o4 : List |
i5 : phi#2 o5 = map(QQ,R,{4, 8, 7}) o5 : RingMap QQ <--- R |