(Edited, since <u> compiles in HTML as an underlyning tag, dan.)
K.<u> = GF(q)
KT.<u> = K.extension(2)
KTT.<u> = K.extension(6)
In this case KTT is a degree 12 extension. My question is:
Can I obtain KTT by KTT.<u> = K.extension(x^6 - a), where x^6 -a is some irreducible polynomial over KT ???
Documentation gives nothing about this towering of fields.
The following worked for me:
sage: q = 27
sage: K.<u> = GF(q)
sage: K.extension(2)
Finite Field in z6 of size 3^6
sage: KT.<a> = K.extension(2)
sage: KT
Finite Field in a of size 3^6
sage: RT.<Z> = PolynomialRing(KT)
sage: KTT.<b> = KT.extension(Z^6-a)
sage: KTT
Univariate Quotient Polynomial Ring in b over Finite Field in a of size 3^6 with modulus b^6 + 2*a
sage: b.minpoly()
x^6 + 2*a
Asked: 2019-06-08 14:23:35 +0100
Seen: 427 times
Last updated: Jun 13 '19
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
The above was edited to see the real question. Note that "displayed code" can be marked as such with an indent of 4 spaces, or hit Control+K after marking it, or press the button in the edit mask with
101and010after marking it. In-line the marking is done by ticks.