This command allows for the scalar multiplication of an NCMatrix by an NCRingElement on the left.
i1 : B = threeDimSklyanin(QQ,{1,1,-1},{x,y,z}) --Calling Bergman for NCGB calculation. --running: bergman -i /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12198-0/0.init -on-error exit --silent > /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12198-0/3.ter ... Complete! o1 = B o1 : NCQuotientRing |
i2 : M = ncMatrix {{x, y, z}} o2 = | x y z | o2 : NCMatrix |
i3 : sigma = ncMap(B,B,{y,z,x}) o3 = NCRingMap B <--- B o3 : NCRingMap |
i4 : N = ncMatrix {{M},{sigma M}, {sigma sigma M}} o4 = | x y z | | | | y z x | | | | z x y | o4 : NCMatrix |
i5 : x^2*N | 3 2 2 | o5 = | x x y x z | | | | 2 2 3 | | x y x z x | | | | 2 3 2 | | x z x x y | o5 : NCMatrix |