[GiNaC-devel] Another patch

[Chris Dams]

Dear all,

The idea of renaming dummy indices when expressions are raised to a
power or when this is necessary in the case of a subsitution, is a great
idea. However, it seems rather inconsistently implemented. E.g., if you
calculate x^2 as power(x,2) then dummy indices are renamed but not if
you do it like x*x. The attached patch makes renaming work if
multiplications are constructed using operator* or by the mul::mul
(exvector) constructor. Furthermore, the function
rename_dummy_indices_uniquely was not aware of the existence of spinidx.
The patch also corrects this.

Best wishes,
Chris
-------------- next part --------------
A non-text attachment was scrubbed...
Name: muldummies.patch
Type: text/x-patch
Size: 7147 bytes
Desc: not available
Url : http://www.cebix.net/pipermail/ginac-devel/attachments/20051003/52c24c71/muldummies.bin