DummyIndexFreeQ[exp, {head1, head2, ...}] returns
True if the expression contains dummy indices with heads
head1, head2, … and False
otherwise.
As always in FeynCalc, Einstein summation convention is implicitly assumed.
The function is optimized for large expressions, i.e. it is not so good as a criterion in e.g. Select.
Overview, FCRenameDummyIndices, Contract, FreeIndexFreeQ.
FCI[FV[p, \[Mu]] FV[q, \[Nu]]]
DummyIndexFreeQ[%, {LorentzIndex}]\overline{p}^{\mu } \overline{q}^{\nu }
\text{True}
FCI[FV[p, \[Mu]] FV[q, \[Mu]]]
DummyIndexFreeQ[%, {LorentzIndex}]\overline{p}^{\mu } \overline{q}^{\mu }
\text{False}
FCI[SUNT[a, b]]
DummyIndexFreeQ[%, {SUNIndex}]T^a.T^b
\text{True}
FCI[SUNT[a, a]]
DummyIndexFreeQ[%, {SUNIndex}]T^a.T^a
\text{False}