NonCommHeadQ[exp]
yields True
if the head of exp is a non-commutative object or Dot
.
Overview, DataType, DeclareNonCommutative, UnDeclareNonCommutative, NonCommFreeQ, NonCommQ
[GA[mu]] NonCommHeadQ
[GA[mu, nu, mu]] NonCommHeadQ
[FV[p, mu]] NonCommHeadQ
[FCI[SUNT[a]]] NonCommHeadQ
[FCI[SUNTF[a, i, j]]] NonCommHeadQ