faster minimal_polynomial for sum of surds
minimal_polynomial_sq renamed _minimal_polynomial_sq