uups, something did not work with the mail gateway in my previous answer: here the rest:
Maybe this should all be rewritten ( ... and if you write a proposal for the European Commission or Mr. Soros or CERN or whomever
and get money I'll do it or supervise it ).
Anyway, here is one way to get what you want:
trn = Function[x,
Calc[Explicit[x]] /. (a:SUNT[_]..) .
(b_ /; FreeQ[b,
SUNT]) :> Dot[a]*TR[b]]
trn[QGV[mu, a].QGV[nu, b]]
This archive was generated by hypermail 2b29 : 06/18/19-01:00:02 AM Z CEST