next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
NCAlgebra :: NCRingMap NCRingElement

NCRingMap NCRingElement -- Apply an NCRingMap to an element or matrix

Synopsis

Description

i1 : A = skewPolynomialRing(QQ,(-1)_QQ,{w,x,y,z})
--Calling Bergman for NCGB calculation.
--running: bergman -i /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12677-0/0.init -on-error exit --silent > /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12677-0/3.ter ... Complete!

o1 = A

o1 : NCQuotientRing
i2 : B = QQ{a,b,c}

o2 = B

o2 : NCPolynomialRing
i3 : f = ncMap(B,A,{a^3,b^2,a+b,a-b})

o3 = NCRingMap B <--- A

o3 : NCRingMap
i4 : f(w*x+2*y)

         3 2
o4 = 2b+a b +2a

o4 : B
i5 : f basis(2,A)

     |  6   3 2   4   3   4   3  2    2        2    3   4    3  2     2        2   2        2 |
o5 = | a   a b   b   a b+a   b +b a  b +ba+ab+a   -a b+a   -b +b a  -b +ba-ab+a   b -ba-ab+a  |

o5 : NCMatrix