{a,b,c,d}::Indices(full,position=fixed).
substitute($S_{b}$, $S_{a} -> T^{b}U_{b}P_{a}$);
complains: cadabra2.ConsistencyException: Fixed index pair with two upper or two lower indices found
. Is this a bug? If not, how should I proceed?
(What I'm actually trying to achieve, to understand Cadabra better, is to write the Riemann tensor in terms of the metric. Of course I do this by writing the Riemann tensor in terms of Christoffel symbols then substituting their expression in terms of the metric. In that second step I get the same ConsistencyException
as my toy model above.)