help links subscribe changes refresh edit

	IssueTracker
#278 'simplifyLog' cannot cope with 'sqrt' ←	↑	→ #28 GCL 2.6.5 on FC3

#279 Equality fails for Set Any

Edit detail for #279 Equality fails for Set Any revision 1 of 3

	1 2 3
Editor: Time: 2007/11/17 22:20:23 GMT-8
Note:

changed:
-
Equality of sets demands:
$$x \in X \iff x \in Y \implies X=Y$$

This axiom fails for the domain 'Set Any'. For example:
\begin{axiom}
X:Set Any
Y:Set Any
X:=["x"]
Y:=["x"]
(X=Y)::Boolean
\end{axiom}

and
\begin{axiom}
X:=[1.0]
Y:=[1.0]
(X=Y)::Boolean
\end{axiom}

But notice that the following cases work:
\begin{axiom}
X:=[1]
Y:=[1]
(X=Y)::Boolean
\end{axiom}

\begin{axiom}
Z:Set Union(String,Integer,Float)
W:Set Union(String,Integer,Float)
Z:=["x"]
W:=["x"]
(Z=W)::Boolean
\end{axiom}