# Substitute the "absolute" indices

Example:

{a, b, c, d}::Indices.
D{#}::Derivative.
ex:= D_{a}{D_{b}{A_{c}}} -D_{b}{D_{a}{A_{c}}};
substitute(_,$D_{a}{D_{b}{A_{c}}} -> D_{b}{D_{a}{A_{c}}} +R_{a b c d} A^{d}$ )


I hope the substitute returns zero directly.
So maybe a new feature for substitute like following:

substitute(_,$D_{#a}{D_{#b}{A_{c}}} -> D_{b}{D_{a}{A_{c}}} +R_{a b c d} A^{d}$ )


Thus, substitute only substitutes the first term with the "absolute" indices, i.e. D_{a}{D_{b}{A_{c}}}, and do nothing to the second term, i.e. D_{b}{D_{a}{A_{c}}}.

In short, I need to be able to suppress automatic recognition for indices.

By the way, some features in Cadabra.1 such as regular expression, ? and ?? etc. are very helpful for my work.

edited

substitute(_,$D_{a}{D_{b}{A_{c}}} -> 1/2 D_{b}{D_{a}{A_{c}}} + 1/2 D_{a}{D_{b}{A_{c}}} + 1/2 R_{a b c d} A^{d}$ );