|
|
|
last edited 17 years ago by gdr |
Edit detail for #412 Wrong definition of equality in TBAGG revision 2 of 2
| 1 2 | ||
|
Editor: gdr
Time: 2008/05/18 13:33:32 GMT-7 |
||
| Note: | ||
added:
From gdr Sun May 18 13:33:32 -0700 2008
From: gdr
Date: Sun, 18 May 2008 13:33:32 -0700
Subject:
Message-ID: <20080518133332-0700@axiom-wiki.newsynthesis.org>
Fixed in OpenAxiom
The expected result is false, but:
fricas
(1) -> R ==> Record(key: Symbol,entry: String)
Type: Void
fricas
T ==> AssociationList(Symbol,String)
Type: Void
fricas
t1 := construct([[x,"ix"]$R])$T
 | (1) |
Type: AssociationList?(Symbol,
fricas
t2 := construct([[y,"iy"]$R])$T
 | (2) |
Type: AssociationList?(Symbol,
fricas
(t1=t2)::Boolean
 | (3) |
Type: Boolean
The reason is in the definition of equality in 'TBAGG':
s:% = t:% ==
eq?(s,t) => true
#s ^= #t => false
for k in keys s repeat
(e := search(k, t)) case "failed" or (e::Entry) ^= s.k => false
true
which will always return true. One should insert a "return" between => and false.
Martin
... --gdr, Sun, 18 May 2008 13:33:32 -0700 reply
Fixed in OpenAxiom