help links subscribe changes refresh edit

	IssueTracker
#212 substituting for an operator in a sum does not apply the summation algorithms ←	↑	→ #214 limit on products and sums

#213 No equality of operators which use dummy variables

Edit detail for #213 No equality of operators which use dummy variables revision 1 of 1

	1
Editor: Time: 2007/11/17 22:09:42 GMT-8
Note: fixed in patch 46 or so

changed:
-
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

From kratt6 Tue Oct 4 10:02:17 -0500 2005
From: kratt6
Date: Tue, 04 Oct 2005 10:02:17 -0500
Subject: fix
Message-ID: <20051004100217-0500@wiki.axiom-developer.org>

Another fix that was not too difficult. Fortunately, there is a property '%specialEqual' just intended for this purpose...

<a href="combfunc.spad.pamphlet.patch">combfunc.spad.pamphlet.patch</a>

From kratt6 Thu Oct 6 07:04:54 -0500 2005
From: kratt6
Date: Thu, 06 Oct 2005 07:04:54 -0500
Subject: property change
Message-ID: <20051006070454-0500@wiki.axiom-developer.org>

Status: open => fix proposed 


From kratt6 Fri Oct 27 03:16:19 -0500 2006
From: kratt6
Date: Fri, 27 Oct 2006 03:16:19 -0500
Subject: fixed in patch 46 or so
Message-ID: <20061027031619-0500@wiki.axiom-developer.org>

Status: fix proposed => closed

Unfortunately, axiom fails to recognize equality of some expressions like in

axiom

x:=sum(1/i,i=1..m)/sum(1/i,i=1..m)

$\label{eq1}1$

(1)

Type: Expression(Integer)

The reason is that the internal representation is different:

axiom

map(argument, kernels x)

$\label{eq2}\left[ \right]$

(2)

Type: List(List(Expression(Integer)))

Martin

fix --kratt6, Tue, 04 Oct 2005 10:02:17 -0500 reply

Another fix that was not too difficult. Fortunately, there is a property %specialEqual just intended for this purpose...