Here the result of the multiplication is: 
    `[ c*z + b*y + a*x, q*y + r*z + x*p, w*z + y*v + x*u]`
But I am testing it against
`[ a*x + b*y + c*z, p*x + q*y + r*z, u*x + v*y + w*z]`

I guess the problem lies in `eq` not assuming commutativity and associativity. How can I fix this?