ExactRootIsolation

ExactRootIsolation is an option for Root, which specifies whether exact isolating intervals rather than numeric approximations should be used to identify algebraic numbers.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.