Assume that q is a power of a prime number. Consider the field extension Fq⊂Fqn . Both fields can be thought as subfields of the algebraic closure of Fp, defined with
K=GF(p).algebraic_closure()The question is: Is it possible to compute a basis of Fqn over Fq ? Or at least to have something in the spirit of
K.<x1,...,xn>=GF(q)[]which can be done when q is prime?
