Changes http://wiki.axiom-developer.org/285EqualInAlgebraicNumberFails/diff
--
InnerAlgebraicNumber (IAN) is described as --
Algebraic closure of the rational numbers.
while AlgebraicNumber (AN) is described as --
Algebraic closure of the rational numbers, with mathematical =
Apparently IAN implements 'trueEqual' as the equivalence relation
defined by conjugation::
trueEqual : (%,%) -> Boolean
++ trueEqual(x,y) tries to determine if the two numbers are equal
\begin{axiom}
trueEqual(sqrt(2),-sqrt(2))$IAN
\end{axiom}
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
