Hello, I'd like to make a subfield of a number field K by adjoining to QQ a list of elements from K, with the possibility that for some i, that the minimal polynomial over QQ of a_(i+1) is *not* irreducible over QQ[a_0, ..., a_i].
As a basic example, I'd like to have *K.<alpha> = NumberField(x^2-2);* *QQ[alpha, alpha+1]* output *Number Field in alpha with defining polynomial x^2 - 2* Is there any way to do this? Thanks, Sam -- 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 post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
