4 Feb
2003
4 Feb
'03
5:13 p.m.
Hi! On Tue, Jan 28, 2003 at 05:36:20PM +0000, Chris Dams wrote:
[rename_dummy_indices] it may happen that the indices that are compared this way have the same value but different dimension. If that happens, they are considered not to be the same, but as far as dummy indices renaming is concerned but I think they should be considered the same.
Yes, this makes sense. Thanks for the patch! :-) Bye, Christian -- / Coding on PowerPC and proud of it \/ http://www.uni-mainz.de/~bauec002/