[GiNaC-devel] Vladimirs patch has been applied.

[Chris Dams]

Dear all,

I applied Vladimirs patch from the "Improved dummy index renaming ->
clifford exam fails"-thread. I hope I did everything correctly because I
had to remove some casting to varidxes. This is undefined behaviour if the
object being casted is not a varidx. Not to mention the operation of
asking such an object to toggle its variance.

I have another question for Vladimir: at some places in clifford.cpp
locally within some functions a varidx is created. But now that clifford
objects can also carry indices without variance, is this still correct?
Maybe it should depend on the kind of index that wat supplied to such a
function?

Best wishes,
Chris