Dear GiNaCers, Substitution and dummy index renaming also seem to have some problems getting along with each others. Here's a patch that seems to solve it and also includes the changes I mailed last evening ("Another patch"). Best wishes, Chris