Hello, > The NumberField containing both embeddings should be larger. The > morphisms also clearly show that something is going wrong: > > sage: nf = NumberField(x^8 - 3*x^7 + 61/3*x^6 - 9*x^5 + 298*x^4 + > 458*x^3 + 1875*x^2 + 4293*x + 3099, 'z', embedding=-1.18126721294295 + > 3.02858651117832j) > sage: nf2 = NumberField(x^8 - 3*x^7 + 61/3*x^6 - 9*x^5 + 298*x^4 + > 458*x^3 + 1875*x^2 + 4293*x + 3099, 'z', embedding=-1.18126721294295 - > 3.02858651117832j) > sage: nf.composite_fields(nf2,both_maps = True) > [(Number Field in z with defining polynomial x^8 - 3*x^7 + 61/3*x^6 - > 9*x^5 + 298*x^4 + 458*x^3 + 1875*x^2 + 4293*x + 3099, > Ring endomorphism of Number Field in z with defining polynomial x^8 - > 3*x^7 + 61/3*x^6 - 9*x^5 + 298*x^4 + 458*x^3 + 1875*x^2 + 4293*x + 3099 > Defn: z |--> z, > Ring morphism: > From: Number Field in z with defining polynomial x^8 - 3*x^7 + 61/3*x^6 - > 9*x^5 + 298*x^4 + 458*x^3 + 1875*x^2 + 4293*x + 3099 > To: Number Field in z with defining polynomial x^8 - 3*x^7 + 61/3*x^6 - > 9*x^5 + 298*x^4 + 458*x^3 + 1875*x^2 + 4293*x + 3099 > Defn: z |--> z, > +Infinity)] > > I couldn't find a bug on trac for it. I think there should be one filed.
Indeed, this looks like a bug. It might be because the polynomials do not have integral coefficients. I will open a ticket. Peter -- 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 http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
