(f, s, t, eps=None, steps=None, fast=False)
Refine an isolating interval to the given precision.

        ``eps`` should be a rational number.
Refine an isolating interval to the given precision.
Refine an isolating interval to the given precision .
def refine_root(f, s, t, eps=None, steps=None, fast=False):
        """
        Refine an isolating interval to the given precision.

        ``eps`` should be a rational number.

        """
        if not f.lev:
            return dup_refine_real_root(f.rep, s, t, f.dom, eps=eps, steps=steps, fast=fast)
        else:
            raise PolynomialError(
                "can't refine a root of a multivariate polynomial")
def refine_root ( f , s , t , eps = None , steps = None , fast = False ) : if not f . lev : return dup_refine_real_root ( f . rep , s , t , f . dom , eps = eps , steps = steps , fast = fast ) else : raise PolynomialError ( "can't refine a root of a multivariate polynomial" )