Revision history [back]
 | 1 | initial version |
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
