On Sat, 28 Oct 2006 21:16:13 -0700, David Joyner <[EMAIL PROTECTED]> wrote: >> I think they both make sense. >> >> For (x1+x2), it would coerce x1 into F2 and add in F2. Then for x2+(x1 >> +x2) it would add in F2. >> >> For (x2+x1) it would coerce x1 into F2 and add in F2. Then for (x2+x1) >> +x2) it would add in F2. >> > > I guess I misunderstood. I thought x2+x1 would fail since there is no > F2->F1.
x2 + x1 would be fine. x1 would be coerced into F2 then added to x2. > Are these coercions canonical? Sometimes field embeddings depend on on > choosing a root of a > polynomial. Can this be done consistently? Yes, using conway polynomials. See David H's email. William --~--~---------~--~----~------------~-------~--~----~ 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/ -~----------~----~----~----~------~----~------~--~---