NonCommQ[exp]
yields True
if exp
contains non-commutative objects (i.e. those objects which are listed in $NonComm
) not inside DiracTrace
s or SUNTrace
s.
Overview, $NonComm, NonCommFreeQ, DiracTrace, SUNTrace.
[xx + yy] NonCommQ
\text{False}
[GA[\[Mu]] . GS[p + m] . GA[\[Mu]]] NonCommQ
\text{True}
[DCHN[GA[\[Mu]], i, j]] NonCommQ
\text{True}