[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 <=