An example I have encountered is the following (e+ e- -> mu+ mu-):
test = SpinorUBar[k2, m2].GA[mu].SpinorV[k1, m2] SpinorU[p1, m1].GA[
mu].SpinorVBar[p2, m1] FeynAmpDenominator[
PropagatorDenominator[s]]
ctest = ComplexConjugate[test]
FermionSpinSum[test ctest]
This archive was generated by hypermail 2b29 : 09/04/20-12:55:05 AM Z CEST