>
>
> Nevermind, I found it.
>
> Call K2.structure() for the maps.
>
> Thank you!
>
>
Moreover, you can register these isomorphisms as coercions. I do
not recommend the following for noninteractive scripts. But I find it very
convenient:
sage: K=QQ[sqrt(2),sqrt(3)]
sage: s2,s3=K.gens()
sage: L=K.absolute_field('a')
sage: a=L.gen()
sage: phi = L.structure()
sage: phi
(Isomorphism map:
From: Number Field in a with defining polynomial x^4 - 10*x^2 + 1
To: Number Field in sqrt2 with defining polynomial x^2 - 2 over its
base field,
Isomorphism map:
From: Number Field in sqrt2 with defining polynomial x^2 - 2 over its
base field
To: Number Field in a with defining polynomial x^4 - 10*x^2 + 1)
sage: K.register_coercion(phi[0])
sage: L.register_coercion(phi[1])
sage: s2+a
2*sqrt2 - sqrt3
sage: a+s2
1/2*a^3 - 7/2*a
--
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 http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/groups/opt_out.
