[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] [#213 No equality of operators which use dummy variabl

**From**: |
kratt6 |

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

**Date**: |
Tue, 04 Oct 2005 05:45:59 -0500 |

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

[Prev in Thread] |
**Current Thread** |
[Next in Thread] |

**[Axiom-developer] [#213 No equality of operators which use dummy variables] (nouveau)**,
*kratt6* **<=**