I am working on a project and part of the output of my code is the following: $$ \text{a1}\otimes\text{a2}+\text{a1}\otimes(\text{a1}\otimes\text{a1}-\text{a2})-\text{a1}\otimes\text{a1}\otimes\text{a1}. $$
To me this clearly simplifies to 0, but for some reason, Mathematica cannot see this even if I use Simplify
or FullSimplify
. Is there any way to help it to see this?
In[283]:= ExpandAll[ a1\[TensorProduct]a2 + a1\[TensorProduct](-a2 + a1\[TensorProduct]a1)
- a1\[TensorProduct]a1\[TensorProduct]a1]
Out[283]= a1\[TensorProduct]a2 + a1\[TensorProduct](-a2 + a1\[TensorProduct]a1)
- a1\[TensorProduct]a1\[TensorProduct]a1
InputForm
) that we can Copy&Paste. Thanks for editing your question. Don't forget to take the tour $\endgroup$ – rhermans Aug 9 '18 at 11:30