Curious behaviour in substitute

Question

Greetings,

The following code doesn't seem to work as I would expect (maybe I'm asking for too much :).

 term := B^{c}_{a d} A^{d} A^{e}.

 substitute (term,$A^{c} A^{b} B^{a}_{d b} -> A^{b} A^{c} C^{a}_{b d}$);

 term := B^{c}_{a d} A^{d} A^{e}.

 substitute (term,$B^{a}_{d b} A^{c} A^{b} -> A^{b} A^{c} C^{a}_{b d}$);

The first substitute commands leads to no change on term. While the second substitute does what I would expect (that is A^{d} A^{e} C^{c}_{d a}).

In Cadabra 1.16 and 1.41 both substitute commands produce the expected results. Am I missing something here?

Cheers, Leo

Answer 1

Now fixed on github.

Comments

Thanks Kasper, that solved the problem. Cheers, Leo