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