2
$\begingroup$

I'd like to manipulate an expression of quaternions and only use the following properties

q1+q2=q2+q1
q1**(q2+q3)=q1**q2+q1**q3
q1**(q2**q3)=(q1**q2)**q3
Conjugate[q1**q2]=Conjugate[q2]**Conjugate[q1]
q**x=x**q if x is Real
q**Conjugate[q] is always Real
Conjugate[x]=x if x is Real
$\endgroup$
  • $\begingroup$ Do you want to set up an algebra for quaternions? So that you can manipulate them. Or prove statements about them in general. $\endgroup$ – PaulCommentary Jul 4 at 16:01
  • $\begingroup$ Yes I want to set up an algebra $\endgroup$ – deepfloe Jul 13 at 11:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.