On Gelbaum's Algorithm for Computing the Minimal Polynomial of a Matrix