cadabra2

cadabra2 copied to clipboard

See e.g. https://cadabra.science/qa/730/run-time-error-with-young_project_tensor

The example there,

{a,b,c,d,e,f#}::Indices.

A^{a b c}::AntiSymmetric.
R_{a b c d}::RiemannTensor.

\nabla{#}::Derivative.
\nabla_{e}{R_{a b c d}}::SatisfiesBianchi.
R_{a b c d}::TableauSymmetry( shape={2,2}, indices={0,2,1,3} ).

foo := \nabla_{a}{R_{b c d e}} A^{a b c}.

works with young_project_product, but it should probably also work with meld (which it doesn't right now).