Minimal polynomial in tower of finite fields?
I have two extension field E=K(d) and K=F(a) where F=GF(p) for a prime p. How can I compute the minimal polynomial of d over F. There is a command "absolute_minpoly" that works for number fields and not extension fields of finite fields. I want a command like that.
I suppose we know the minimal polynomial of d over F=Fp. We can factor it over K....