The error in the subject line comes from running the attached code which
defines two monic integral polynomials in QQ[x], both irreducible and
defining the same number field of degree 44, and trying to find a root of
the second in the number field defined by the first:

Trying K.is_isomorphic(L) works (and returns True. so  these polynomials
really do define the same field.  (They are the characteristic polynomials
of Hecke operatrs T2 and T3 acting on an irreducible space of modular forms
for Gamma_1(25)).  That is strange since I would have thought that testing
this involves finding roots of one modulo the other.



K.embeddings(L) also fails with the same error.  (No surprise)

John

-- 
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 https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Reply via email to