[Axiom-developer] [#213 No equality of operators which use dummy variables] (nouveau)

[kratt6]

Changes 
http://page.axiom-developer.org/zope/mathaction/213NoEqualityOfOperatorsWhichUseDummyVariables/diff
--
Unfortunately, axiom fails to recognize equality of some expressions like in
\begin{axiom}
x:=sum(1/i,i=1..m)/sum(1/i,i=1..m)
\end{axiom}

The reason is that the internal representation is different: 
\begin{axiom}
map(argument, kernels x)
\end{axiom}

Martin
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden