Changes between Initial Version and Version 4 of Ticket #5355


Ignore:
Timestamp:
11/09/18 13:49:02 (13 months ago)
Author:
pbruin
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #5355

    • Property Report Upstream changed from to N/A
  • Ticket #5355 – Description

    initial v4  
    11If a number field comes with an embedding into the complex numbers, QQbar should allow coercions (or at least conversions) from that number field.
     2For example:
     3{{{
     4sage: K.<a> = NumberField(x^3 - x + 1, embedding=-1.32)
     5sage: QQbar.coerce_map_from(K)
     6Ring morphism:
     7  From: Number Field in a with defining polynomial x^3 - x + 1
     8  To:   Algebraic Field
     9  Defn: a |--> -1.324717957244746?
     10}}}
     11Currently, this map can already be created using `K.hom([QQbar(a)])` (see #13041).