sorry -- ok here but not in `minimal_polynomial_sq`