Ok, thank you! I was thinking in term of quotient instead of extension of number field.
Indeed it's not the good place for posting, sorry! Le mardi 22 avril 2014 11:02:44 UTC+2, vdelecroix a écrit : > > Hello François, > > This kind of question would rather go to the sage-support mailing list > or ask.sagemath.org. > > To answer your question: Yes. As you can see the output says "over its > base field" which means that you built an extension of a number field. > You can check > > sage: K.<k0, k1> = > NumberField([cyclotomic_polynomial(3),cyclotomic_polynomial (5)]) > sage: K.base_field() > Number Field in k1 with defining polynomial x^4 + x^3 + x^2 + x + 1 > > Best > Vincent > > 2014-04-22 10:55 UTC+02:00, François Colas <fco...@gmail.com <javascript:>>: > > > Hello group, > > > > I wonder why > > > > sage: K.<k0, k1> = > > NumberField([cyclotomic_polynomial(3),cyclotomic_polynomial > > (5)]); K > > Number Field in k0 with defining polynomial x^2 + x + 1 over its base > field > > > > sage: K.gens() > > (k0, k1) > > > > should not rather print > > > > Number Field in k0, k1 with defining polynomials x^2 + x + 1, x^4 + x^3 > + > > x^ > > 2 + x + 1 over their base field > > > > such as when using quotient > > > > sage: K.<k0, k1> = QQ['x > > y'].quotient([cyclotomic_polynomial(3),cyclotomic_polynomial > > (5)]); K > > Quotient of Multivariate Polynomial Ring in x, y over Rational Field by > the > > > > ideal (x^2 + x + 1, x^4 + x^3 + x^2 + x + 1) > > > > Is it the natural output string expected when defining NumberField? > > > > > > François > > > > -- > > 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+...@googlegroups.com <javascript:>. > > To post to this group, send email to > > sage-...@googlegroups.com<javascript:>. > > > Visit this group at http://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > > > -- 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/d/optout.
