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

symbolic bridge tries to apply chain rule to index values #89

Closed kpeeters closed 6 years ago

kpeeters commented 6 years ago
{x,y,z}::Coordinate;
{i,j,k}::Indices(values={x,y,z});
\partial{#}::PartialDerivative;
F_{i j}::Depends(x,y,z);
ex:=\partial_{i}{F_{i k}} + m**2 A_{k};
evaluate(ex);

produces an output which contains chain rule expression of the type Derivative(DN(x), x) because the indices get passed along as arguments.

kpeeters commented 6 years ago

Fixed by https://github.com/kpeeters/cadabra2/commit/2d8a0e4cd4c984a4d76a353a7e0f106f324141f6