FEYN CALC SYMBOL

NonCommFreeQ


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.