Changes http://wiki.axiom-developer.org/285EqualInAlgebraicNumberFails/diff
--
Axiom's sqrt does not seem to be multiple valued, so therefore I
disagree with you Bill, it cannot be the general solution of the
polynomial. As with most other systems, sqrt is taken to be the
positive root only, and if it comes from the solution of a quadratic,
the +/- multiple valued-ness must be encoded elsewhere.
e.g.
\begin{axiom}
sqrt(2)::Float
\end{axiom}
gives only one value.
Also note that axiom is not even self-consistent here:
\begin{axiom}
-a::Float
(a^2)^(1/2)::Float
\end{axiom}
which clearly are not equal.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
