4 Oct
2005
4 Oct
'05
5:45 p.m.
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