i1 : M = random(ZZ^3, ZZ^5) o1 = | 4 7 3 6 1 | | 1 4 5 9 7 | | 8 2 9 5 0 | 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,{4, 1, 8}), map(QQ,R,{7, 4, 2}), map(QQ,R,{3, 5, 9}), ------------------------------------------------------------------------ map(QQ,R,{6, 9, 5}), map(QQ,R,{1, 7, 0})} o3 : List |
i4 : apply (gens(R),r->phi#2 r) o4 = {3, 5, 9} o4 : List |
i5 : phi#2 o5 = map(QQ,R,{3, 5, 9}) o5 : RingMap QQ <--- R |