[…] we are given an element 𝛼∈E, and want to compute the minimal polynomial 𝜙∈F[X] of 𝛼 over F.