Changes http://wiki.axiom-developer.org/279EqualityFailsForSetAny/diff
--
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}
X:Set Union(String,Integer,Float)
Y:Set Union(String,Integer,Float)
X:=["x"]
Y:=["x"]
(X=Y)::Boolean
\end{axiom}
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
