Ideal Decompositions and Subfields

We describe an algorithm which, forf Q[x] ,determinesgandh Q[x] forming non-trivial decompositions,g○h, so thatfg○h, when such exist.