Changes http://wiki.axiom-developer.org/285EqualInAlgebraicNumberFails/diff -- I try :
\begin{axiom}
a := 3 + sqrt 5
(-a = (a^2)^(1/2))::Boolean
\end{axiom}
But
\begin{axiom}
(sqrt 2 = - sqrt 2)::Boolean
\end{axiom}
I expect the same result, and I prefer false.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
