On Mon, Nov 3, 2008 at 1:32 PM, Martin Rubey wrote: > > Bill Page writes: > >> As I understand it AlgebraicNumber is supposed to be able to properly >> order the roots. > > No, that's RECLOS. > > Unfortunately, there is no coercion from AN to RECLOS, and this would actually > be tricky, since sqrt(-3) is not allowed in RECLOS. >
Hmmm... So what is the meaning of < in AN? Ok, I guess that it is just whatever is exported by Expression Integer. The fact that the positive roots appear < 0 while the negative roots appear > 0 must be just an accident of some strange lexical ordering rules for expressions. :-( Regards, Bill Page. _______________________________________________ Axiom-math mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
