On Thu, Dec 12, 2013 at 12:21:14PM +0000, John Cremona wrote: > On 12 December 2013 12:12, Georgi Guninski <gunin...@guninski.com> wrote: > > Suppose I work in QQ[sqrt(a),sqrt(b)] > > where a and b are integer non-squares. > > > > Can I change it to something isomorphic to QQ[\alpha] > > where \alpha is algebraic, i.e., work with a conventional > > NumberField with a single defining polynomial > > without extending the NumberField? > > > > Is this what you want? > > sage: K = QQ[sqrt(2),sqrt(3)] > sage: K.absolute_field('a') > Number Field in a with defining polynomial x^4 - 10*x^2 + 1 >
Thanks, exactly this. How to get maps between the two fields, coercion doesn't appear to work. -- 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 http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/groups/opt_out.