On computing subfields. A detailed description of the algorithm 
J. Klüners, Journal de Theorie Des Nombres de Bordeaux 10 (1998) 243–271.