Hi
How can I define a homomorphism from a relative number field
to some other field L which sends (all) the generators to
corresponding specified elements?
Example:
F_pol = x^2-x-1
F = NumberField(F_pol, 'lam')
K_pol = x^2 + 4
K = F.extension(K_pol, 'e')
L = QQbar
lam_im = QQbar(F_pol.roots()[1][0])
e_im = QQbar(K_pol.roots()[1][0])
# Wrong result:
K.hom([e_im], QQbar, check=False)
# Want (but doesn't work):
K.hom([e_im, lam_im], QQbar, check=False)
Best
Jonas
--
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.
