97 97
I have found the following behaviour: a=QQbar.zeta(3) F=QQ[a] h=F.embeddings(QQbar)[0] F._unset_embedding() F.register_embedding(h) F.coerce_embedding() QQbar._unset_coercions_used() QQbar.register_coercion(h) QQbar.convert_map_from(F) Conversion map: From: Number Field in a with defining polynomial x^2 + x + 1 To: Algebraic Field QQbar.coerce_map_from(F) Ring morphism: From: Number Field in a with defining polynomial x^2 + x + 1 To: Algebraic Field Defn: a |--> -0.50000000000000000? - 0.866025403784439?*I This makes for instance QQbar(F.gen()) fail. According to the documentation, if a coercion morphism is defined, it will be used also for conversion, bt this is not the case. On a related note, i think that number fields with a given embedding should adapt its conversion to QQbar to use that embedding. Are you ok with that? -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.