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/
-~----------~----~----~----~------~----~------~--~---

Reply via email to