On Sunday, January 8, 2017 at 12:32:51 AM UTC-8, Daniel Krenn wrote:
>
>
> Is it possible to define one embedding from a number field into CC and 
> another into QQbar (at "the same time")? 
>
> No. A field only has one slot for an embedding. This restriction doesn't 
have good technical grounds for existing. It does make it a tiny bit harder 
to introduce inconsistencies in the coercion graph, though.

If a field embeds into QQbar, then there should be an implied coercion into 
CC, though: QQbar as implemented in sage is a subfield of the field of 
complex numbers (as you can see from how the elements print). And indeed 
this works:

sage: K.<a>=NumberField(x^3-2,embedding=QQbar(2^(1/3)))
sage: a+CC(1)
2.25992104989487

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Reply via email to