On 9/18/07, David Harvey <[EMAIL PROTECTED]> wrote: > > > On Sep 18, 2007, at 12:00 AM, William Stein wrote: > > > I also want to make ZZ[a,b,c] > > work, if a,b,c are algebraic integers. > > Suppose that b and c are roots of x^3 - 2, but without any embedding > information given. How do you decide what Q[b, c] means? i.e. how do > you tell whether b and c are "the same"? >
Welcome to the can of worms! Or again, if b=sqrt(2) and c=sqrt(4) should we assume c=b^2? Note that there are many relationaships between algebraic numbers which are much more "hidden" than this. I recommend that for this reason we only adjoin one thing at a time. John > david > > > > > -- John Cremona --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
