added ``_choose_factor`` and an example of minimal_polynomial using
high precision