Re: [sage-support] Re: Extending a Finite Field second time

2015-05-04 Thread Evrim Ulu
One more question If I may ask. Is there a way to get the minimal poly of some conjugates over GF(2^4)? I always end up degree 28 in this case, i want to see some of degree 7. I've tried to embed it into GF(2^4)[x] and factor yet no luck. Best, evrim. 2015-05-04 20:04 GMT+03:00 Evrim Ulu : > Th

Re: [sage-support] Re: Extending a Finite Field second time

2015-05-04 Thread Evrim Ulu
Thats right f(g(x)) is not irreducible obviously, shame on me. I did this to get the order: sage: (k[x](x^7+x+1)).roots()[0][0].multiplicative_order() 127 First root, multiplicative order. The real confusion comes from the notation I guess. When you said k[x](x^7+x+1) i obviously thought we are

Re: [sage-support] Re: Extending a Finite Field second time

2015-05-04 Thread Nils Bruin
On Monday, May 4, 2015 at 7:58:19 AM UTC-7, Evrim Ulu wrote: > > I see that, thanks for the info. > > Actually F16.extension(..).gen().multiplicative_order() gives > NotImplementedError > > So basically, if i want to simulate the behaviour I can take two poly > f(x), g(x) and generate a field u

Re: [sage-support] Re: Extending a Finite Field second time

2015-05-04 Thread Evrim Ulu
I see that, thanks for the info. Actually F16.extension(..).gen().multiplicative_order() gives NotImplementedError So basically, if i want to simulate the behaviour I can take two poly f(x), g(x) and generate a field using modulus f(g(x)) composition i guess. best evrim. 2015-05-04 17:55 GMT+03

Re: [sage-support] Re: Extending a Finite Field second time

2015-05-04 Thread John Cremona
On 4 May 2015 at 15:22, Evrim Ulu wrote: > > Here it is: > > F16.extension(modulus=x^7+x+1) To quote from the documentation of the extension() method used here: "Extensions of non-prime finite fields by polynomials are not yet supported: we fall back to generic code:" follwed by an example. In

[sage-support] Re: Extending a Finite Field second time

2015-05-04 Thread Evrim Ulu
Here it is: F16.extension(modulus=x^7+x+1) On Monday, May 4, 2015 at 5:02:52 PM UTC+3, Evrim Ulu wrote: > > Hello, > > I'm having trouble extending a finite field. Any help would be appreciated. > > F16 = GF(16, 'g') > F16_x. = PolynomialRing(F16, 'x') > HH = GF(F16^7, modulus=x^7 + x + 1, name=