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.

Examples

IsolatingInterval[Sqrt[2]]

Please visit the official Wolfram Language Reference for more details.