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. --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
