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.
