Changes http://wiki.axiom-developer.org/348EqualityInAny/diff -- I'm afraid that the design of the equality test in 'ANY' is completely broken. One would really need to call the appropriate '=' from the domain, but I don't think that this is possible in Axiom: \begin{axiom} p: SMP(Integer, Symbol) := x^2; q: SMP(Integer, Symbol) := x^2; test(p::ANY=p::ANY) test(p::ANY=q::ANY) \end{axiom} If the domain has 'canonical', the test using 'EQUAL' might work... \begin{axiom} test((3/4)::ANY = (3/4)::ANY) \end{axiom}
Martin -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
