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. ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
