NonCommFreeQ[exp]
yields True
if exp
contains no non-commutative objects (i.e. those objects which are listed in $NonComm
) or only non-commutative objects inside DiracTrace
s or SUNTrace
s.
Overview, $NonComm, NonCommQ, DiracTrace, SUNTrace.