Processing math: 100%
Cadabra
a field-theory motivated approach to computer algebra

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.
Copyright © 2001-2024 Kasper Peeters
Questions? info@cadabra.science