IsolatingInterval

IsolatingInterval[a]
gives a rational isolating interval for the algebraic number a.

IsolatingInterval[a, dx]
gives an isolating interval of width at most dx.

IsolatingInterval[a] gives an interval that does not contain any other root with the same minimal polynomial as a.

If a is complex, IsolatingInterval[a] gives a pair of Gaussian rationals defining an isolating rectangle in the complex plane.

Find an isolating interval of

Find an isolating interval of

with width less than

New in 6