On Mar 11, 2009, at 3:50 PM, Carl Witty wrote: > > On Mar 11, 2:55 pm, Alex Raichev <tortoise.s...@gmail.com> wrote: >>>> Well, I think I can explain what's happening. There's a >>>> coercion from >>>> arbitrary polynomials into the Symbolic Ring; this is useful, >>>> because >>>> it lets you deal with polynomials over the rationals, etc. >> >> Similarly, i think a coercion from QQbar and polynomials over >> QQbar to >> the Symbolic Ring would be useful. At least it is in my work. What >> do you all think? As it stands Sage gives the error below. > > What would you want to do with QQbar in the Symbolic Ring? I don't > know how to pass an arbitrary element of QQbar to maxima (but I don't > know much about maxima); does maxima deal with arbitrary algebraic > numbers?
Not that I know of. Perhaps there's a "roots of" function, though I wasn't able to find it. Now there should be a conversion, in the cases that maxima is able to explicitly find the roots. - Robert --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
