Can a user defined (quaternion)multiplication operator be defined for symbolic evaluation? I tried to do this with two 4-vector arguments and a 4-vector result, but symbolic evaluation of an equation using that operator didn't apply the definition of that operator.
What I want are the formulae for the quaternions representing each of the 12 Euler angle sequences given the definition of quaternion multiplication and the quaternions representing the 3 elementary rotations.
I was hoping to get symbolic evaluation to employ my overloaded definition of the multiplication operator for quaternions. However, your example immediately suggests a viable alternative: symbolic evaluation of the appropriate real rotation matrix converted to a quaternion. Thanks.