Hi again
I somehow can't get it to work for non-exact fields / CC.
Here is an example:
x = PolynomialRing(QQ,'x').gen()
F_pol = x^3 - x^2 - 2*x + 1
F.<lam> = NumberField(F_pol, 'lam')
D = 4*lam^2 + 4*lam - 4
K_pol = x^2 - D
K = F.extension(K_pol, 'e')
L = CC
lam_im = F_pol.roots(L)[2][0]
e_im = F.hom([lam_im], check=False)(D).sqrt()
K.Hom(L)(e_im, F.hom([lam_im], check=False), check=False)
^⁻This gives me the error message:
TypeError: images do not define a valid homomorphism
Best
Jonas
On 19.09.2014 10:09, Jonas Jermann wrote:
Ok, this was answered on:
http://ask.sagemath.org/question/24173/homomorphisms-for-relative-number-fields/
--
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/d/optout.
