#5355: QQbar should have a coercion from number fields with embedding
-------------------------+--------------------------------------------------
Reporter: cwitty | Owner: cwitty
Type: enhancement | Status: new
Priority: major | Milestone: sage-wishlist
Component: coercion | Keywords:
-------------------------+--------------------------------------------------
Comment(by cremona):
This should not be hard. Here is what I propose:
* Given a number field K and an emebedding of K into RR or CC, return
the corresponding embedding of K into QQbar. This just requires selecting
from K.embeddings(QQbar) the one which maps K.gen() to the element of
QQbar closest to the image of K.gen() under the given embedding. As a
variation, if the given embedding was into RR then the output could be an
embedding into AA>
* As a default we could give no embedding and then use
K.gen().complex_embedding() instead.
Using the default there would be a coercion possible from K to QQbar; but
the first version would allow the user flexibility.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5355#comment:1>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
