help links subscribe changes refresh edit

	IssueTracker
#411 "forbidden" type generated by trigonometric expression ←	↑	→ #413 (semi)resultantEuclidean_naif, affects resultants for Finite IntegralDomains

#412 Wrong definition of equality in TBAGG

Edit detail for #412 Wrong definition of equality in TBAGG revision 1 of 2

	1 2
Editor: kratt6 Time: 2008/01/07 06:11:30 GMT-8
Note:

changed:
-
The expected result is false, but:
\begin{axiom}
R ==> Record(key: Symbol, entry: String)
T ==> AssociationList(Symbol, String)
t1 := construct([[x, "ix"]$R])$T
t2 := construct([[y, "iy"]$R])$T
(t1=t2)::Boolean
\end{axiom}

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

The expected result is false, but:

axiom
R ==> Record(key: Symbol, entry: String)

Type: Void

axiom
T ==> AssociationList(Symbol, String)

Type: Void

axiom
t1 := construct([[x, "ix"]$R])$T

(1)

Type: AssociationList?(Symbol,String)

axiom
t2 := construct([[y, "iy"]$R])$T

(2)

Type: AssociationList?(Symbol,String)

axiom
(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