Cadabra manual: SatisfiesBianchi

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(_);