MathAction #213 No equality of operators which use dummy variables

Topics

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

fricas

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

$\label{eq1}1$

Type: Expression(Integer)

The reason is that the internal representation is different:

fricas

map(argument, kernels x)

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

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...

property change --kratt6, Thu, 06 Oct 2005 07:04:54 -0500 reply

Status: open => fix proposed

fixed in patch 46 or so --kratt6, Fri, 27 Oct 2006 03:16:19 -0500 reply

Status: fix proposed => closed