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. --running: bergman -i /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12260-0/0.init -on-error exit --silent > /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12260-0/3.ter ... Complete! o1 = A o1 : NCQuotientRing |
i2 : B = QQ[a,b,c,SkewCommutative=>true] o2 = B o2 : PolynomialRing |
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 |