SelfAntiCommuting
Make components of tensors anti-commute.
Used to make objects with indices anti-commuting when their index
values are different. Example:\psi^{\mu}::SelfAntiCommuting.
ex:= \psi^{\nu} \psi^{\mu};
ψνψμ
canonicalise(_);
−ψμψν
ex:= \psi^{\mu} \psi^{\mu};
ψμψμ
canonicalise(_);
0
This could not be handled with
AntiCommuting
because that
property handles the behaviour of different expression patterns.