On Saturday, November 2, 2013 10:34:10 AM UTC-7, vdelecroix wrote: > > I am working with number fields that I consider as subfields of RR.
RR doesn't coerce into AA (it really doesn't!), so specifying an embedding of your numberfield in RR is not going to help in finding a coercion into AA. You can embed straight into AA of course: QX.<x>=QQ[] f=x^2-2 rt=(a for a in f.roots(AA,multiplicities=False) if a>0).next() K.<a>=NumberField(f,embedding=rt) and after that sage should be able to figure out most things about how K relates to AA. -- 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/groups/opt_out.
