2021-03-22 14:19:09 UTC, Ilia: > > When defining a NumberFieldEmbedding for a relative number > field and then applying it to the field generator, I get a result > which is different from the specified generator image:
sage: from sage.rings.number_field.number_field_morphisms import NumberFieldEmbedding sage: K.<sqrt2> = QuadraticField(2, embedding=1.414) sage: L.<s> = K.extension(x^3 + (sqrt2/2 + 1/3)*x^2 + (2*sqrt2/5+3/7)*x - 1) sage: my_embedding = NumberFieldEmbedding(L, QQbar, L.relative_polynomial().roots(QQbar)[0][0]) sage: my_embedding Generic morphism: From: Number Field in s with defining polynomial x^3 + (1/2*sqrt2 + 1/3)*x^2 + (2/5*sqrt2 + 3/7)*x - 1 over its base field To: Algebraic Field Defn: s -> 0.5407496381556470? sage: my_embedding.gen_image() 0.5407496381556470? sage: my_embedding(L.gen()) 0.01354690080260168? > Of course, I would have expected the last two results > to be equal. My configuration: SageMath version 9.1, > running on Ubuntu 18.04.3 LTS (64-bit). > > This seems to stem from Sage somehow confusing the relative > generator of L (over K) with the absolute generator of L (over QQ), > even though I am not completely sure. > > Should I open a trac ticket for this? Hi Ilia, Could this have to do with one of the following existing tickets? - Sage Trac ticket 22008 complex_embedding on relative number fields is inconsistent with the base field https://trac.sagemath.org/ticket/22008 - Sage Trac ticket 17524 polynomial for relative number field elements https://trac.sagemath.org/ticket/17524 Thanks for your report in any case. Hope this can be solved. --Samuel -- 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 sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/7258f958-5102-493e-a574-b897dbfaf46an%40googlegroups.com.
