On 2014-09-19, Jonas Jermann <[email protected]> wrote: > 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 > I imagine this has to check some equalities in CC, and this is certainly bound to fail... CC is not a field, as you know.
-- 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.
