Cadabra
a field theory motivated approach to computer algebra

SatisfiesBianchi

Make an object satisfy the generalised Bianchi identity.
Indicates that an object satisfies a (generalised) Bianchi identity. This is often used to link a derivative operator to a curvature tensor, as in
R_{m n p q}::RiemannTensor. D{#}::Derivative. D_{m}{ R_{n p q r} }::SatisfiesBianchi. A^{m n p q}::AntiSymmetric. ex:= D_{m}{ R_{n p q r} } A^{m n p q};
\(\displaystyle{}D_{m}(R_{n p q r}) A^{m n p q}\)
canonicalise(_);
\(\displaystyle{}-D^{m}(R_{r}\,^{n p q}) A_{m n p q}\)
impose_bianchi(_);
{\color{red}{
Traceback (most recent call last):
  File "<string>", line 1, in <module>
NameError: name 'impose_bianchi' is not defined
}}
young_project_tensor(_);
Copyright © 2001-2017 Kasper Peeters
Questions? info@cadabra.science