Name: Asher Berlin Date: 03/31/15-12:55:35 AM Z


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?