Changes http://wiki.axiom-developer.org/347BugInMapSet/diff
--
??changed:
\begin{axiom}
-A:=set [-2,-1,0]
-B:=set [0,1,4]
+A:Set Integer:=set [-2,-1,0]
+B:Set Integer:=set [0,1,4]
C:=map(x +-> x^2,A)
??changed:
\begin{axiom}
-A2:=set [-2,-1,0]
-B2:=set [0,1,4]
+A2:Set Integer:=set [-2,-1,0]
+B2:Set Integer:=set [0,1,4]
C2:=map(x +-> x^2,A)
??changed:
This example shows that Set is not maintained in sorterd order.
-
-And the code for Set is still broken if the Set is constructed
-over a domain that is not an OrderedSet.
+So the code for Set still appears to be broken if the Set is
+constructed over a domain that is not an OrderedSet.
+
+\begin{axiom}
+)set message any off
+showTypeInOutput true;
+\end{axiom}
??changed:
Set Any has OrderedSet
-B3:Set Any:=B
-C3:Set Any:=C
+B3:Set Any:=B;B3
+C3:Set Any:=C;C3
test(B3=C3)
++added:
+But why does this example work? Is set equality implemented as
+an order n^2 comparison if the domain is not an OrderedSet?
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
