I just noticed in the documentation that one can't use "dom = Quaternions" as the last parameter of Solve. Is there a work-around? Developmental plans?
Right - so why doesn't MMA do that with "Solve?" and allow "dom=Quaternion?" Or maybe Solve doesn't solve matrix equations either? Haven't checked.
You can simulate quaternions with a linear combination of the 3 Pauli spin matrices and the 2x2 identity matrix.
Hmmm, - matrice representations .....that may be the "work-around." Thanks.
Noncommutativity would be an issue, yes. Might be possible to embed in matrix algebra though.
Thanks. I'm curious though. One can certainly have polynomials of quaternions just like one can for complexes. Is it the non-commuting nature that is the problem?
