This command allows for the scaling of an NCMatrix by an element in the base ring.
i1 : R = frac(QQ[a]) o1 = R o1 : FractionField |
i2 : B = skewPolynomialRing(R,a,{x,y,z}) o2 = B o2 : NCQuotientRing |
i3 : M = ncMatrix {{x, y, z}} o3 = | x y z | o3 : NCMatrix |
i4 : sigma = ncMap(B,B,{y,z,x}) o4 = NCRingMap B <--- B o4 : NCRingMap |
i5 : N = ncMatrix {{M},{sigma M}, {sigma sigma M}} o5 = | x y z | | y z x | | z x y | o5 : NCMatrix |
i6 : a*N o6 = | a*x a*y a*z | | a*y a*z a*x | | a*z a*x a*y | o6 : NCMatrix |