FeynCalc manual (development version)

NonCommHeadQ

NonCommHeadQ[exp] yields True if the head of exp is a non-commutative object or Dot.

See also

Overview, DataType, DeclareNonCommutative, UnDeclareNonCommutative, NonCommFreeQ, NonCommQ

Examples

NonCommHeadQ[GA[mu]]

\text{True}

NonCommHeadQ[GA[mu, nu, mu]]

\text{True}

NonCommHeadQ[FV[p, mu]]

\text{False}

NonCommHeadQ[FCI[SUNT[a]]]

\text{True}

NonCommHeadQ[FCI[SUNTF[a, i, j]]]

\text{False}