search

kpeeters / cadabra2

A field-theory motivated approach to computer algebra.
https://cadabra.science/
GNU General Public License v3.0
223 stars 37 forks source link

young_project_tensor messes up index positions #100

Open kpeeters opened 6 years ago

kpeeters commented 6 years ago

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

kpeeters commented 2 years ago

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).