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.
[FV[p, \[Mu]] FV[q, \[Nu]]]
FCI
[%, {LorentzIndex}] DummyIndexFreeQ
[FV[p, \[Mu]] FV[q, \[Mu]]]
FCI
[%, {LorentzIndex}] DummyIndexFreeQ
[SUNT[a, b]]
FCI
[%, {SUNIndex}] DummyIndexFreeQ
[SUNT[a, a]]
FCI
[%, {SUNIndex}] DummyIndexFreeQ