Re: [open-axiom-devel] Re: [Axiom-math] Selection of roots

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=/