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]]

True\text{True}

NonCommHeadQ[GA[mu, nu, mu]]

True\text{True}

NonCommHeadQ[FV[p, mu]]

False\text{False}

NonCommHeadQ[FCI[SUNT[a]]]

True\text{True}

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

False\text{False}