[Axiom-developer] [#193 Symbolic values (without variables) are not ordered properly in 'EXPR INT'] same for 'AlgebraicNumber'

[kratt6]

Changes 
http://page.axiom-developer.org/zope/mathaction/193SymbolicValuesWithoutVariablesAreNotOrderedProperlyInEXPRINT/diff
--
The same problem exists in 'AN'. Although the test for zero in this domain is 
mathematical, we have

\begin{axiom}
sqrt(2)<sqrt(3/2)
\end{axiom}

Note that the domain 'RealClosure' is designed to handle such things. Also, the 
test for zero in 'RECLOS' is faster than in 'AN'. So, wouldn't it be 
appropriate to make 'AN' a wrapper for 'RECLOS FRAC INT'? Of course, the 
appropriate conversion routines would have to be written, but this would be 
quite easy.

Martin
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden