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 (15 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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


Type: Expression(Integer)

The reason is that the internal representation is different:

map(argument, kernels x)

\label{eq2}\left[ \right](2)
Type: List(List(Expression(Integer)))


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

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