Root clustering for polynomials #2526
Description
Is there something in flint to do root clustering for polynomials? By this I mean determining non-isolating balls for roots (but all roots should be contained in some ball). I have largish/ugly polynomials and isolating the roots requires too much precision and I actually don't need them isolated.