Hi,
I've noticed that using DiracReduce on matrices before entering them into expressions involving spinors results in errors in the final evaluation. Consider the following input below:
a = DiracReduce[DiracMatrix[i].DiracMatrix[j].DiracMatrix[k]];
b = DiracReduce[DiracMatrix[i].DiracMatrix[j].DiracMatrix[k]];
DiracSimplify[(SpinorUBar[p, m].a.SpinorU[p, m])(SpinorUBar[k,m].b.SpinorU[k,m])]
a = DiracMatrix[i].DiracMatrix[j].DiracMatrix[k];
b = DiracMatrix[i].DiracMatrix[j].DiracMatrix[k];
DiracReduce[(SpinorUBar[p, m].a.SpinorU[p, m])(SpinorUBar[k,m].b.SpinorU[k,m])]
You'll notice that the 2 lines of output differ in one of the terms. I've tried this using FC 8.2 and FC 9 and the same discrepancy remains. Any ideas of what could be going wrong here?
This archive was generated by hypermail 2b29 : 09/04/20-12:55:05 AM Z CEST