Hi Evrim, On 2015-05-15, Evrim Ulu <[email protected]> wrote: > sage: f > x^6 + a*x^5 + (a + 1)*x^4 + (a^2 + a + 1)*x^3 + (a^2 + 1)*x^2 + (a + 1)*x + > a^2 + a + 1 > sage: f.parent() > Univariate Polynomial Ring in x over Finite Field in a of size 2^3 > sage: R > Multivariate Polynomial Ring in l0, l1, l2, f0, f1, f2, f3, f4, f5, f6, f7, > b0, b1, b2, b3, x, y over Finite Field in h of size 2^3 > > > First one has a generator a, the second has the generator h.
The transformation *should* be possible by just doing R(f). However, it doesn't work. I did some tests, and found that I could not construct *any* isomorphism of field extensions. Does anyone know how to construct an isomorphism between GF(8,'a') and GF(8,'h') leaving the prime field invariant? Of course, there is no canonical isomorphism between these two field extensions. However, I do believe that there should be a (non-canonical) *conversion* between the two field extensions, sending the generator of the first to the generator of the second. That currently doesn't work. So, for now, I don't see a better solution for your problem than string evaluation. Best regards, Simon -- 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.
