RingElement * NCMatrix -- Product of NCMatrices

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