Changes http://wiki.axiom-developer.org/285EqualInAlgebraicNumberFails/diff
--
This is quite strange. As I understand it, AN is almost IAN (there are only
three over-riding implementations of three functions: zero?, one?, and =) and
yet, apparently, = in AN is not transitive, but trueEqual in IAN is!
\begin{axiom}
a:AN:=sqrt(5)+3
b:=(a^2)^(1/2)
(a=b)::Boolean
(a=-b)::Boolean
(b=-b)::Boolean
f:IAN:=sqrt(5)+3
g:=(f^2)^(1/2)
trueEqual(f,g)
trueEqual(f,-g)
trueEqual(g,-g)
\end{axiom}
There is also = in IAN, which is implemented as = in EXPR INT.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
