This function returns a matrix whose entries are the images of the source generators in the target ring of f. The type of matrix depends on the type of the target ring.
i1 : A = skewPolynomialRing(QQ,(-1)_QQ,{w,x,y,z}) --Calling Bergman for NCGB calculation. Complete! o1 = A o1 : NCQuotientRing |
i2 : B = QQ[a,b,c,SkewCommutative=>true] o2 = B o2 : PolynomialRing, 3 skew commutative variables |
i3 : f = ncMap(B,A,{a^3,b^2,a+b,a-b}) o3 = NCRingMap B <--- A o3 : NCRingMap |
i4 : matrix f o4 = | 0 0 a+b a-b | 1 4 o4 : Matrix B <--- B |
i5 : g = ncMap(A,A,{x,y,z,w}) o5 = NCRingMap A <--- A o5 : NCRingMap |
i6 : matrix g o6 = | x y z w | o6 : NCMatrix |