Re: [fricas-devel] Re: [Axiom-math] Selection of roots

[Bill Page]

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.