Sorry, I forgot to attach the polynomials. (Exercise for the reader: recompute them with a few lines of Sage using the hint in my original post).
On 12 June 2018 at 17:26, John Cremona <[email protected]> wrote: > 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.
pols.sage
Description: Binary data
