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>: > 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+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. > -- 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.
