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