login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:09:42-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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

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

combfunc.spad.pamphlet.patch

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




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: