I think I found what I need with composite_fields. Sorry for the post! On Monday, July 11, 2016 at 11:50:46 AM UTC-4, Sam Bloom wrote: > > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
