bisection_rc, a C code which demonstrates the simple bisection method for solving a scalar nonlinear equation in a change of sign interval, using reverse communication (RC).

The routine assumes that an interval [a,b] is known, over which the function f(x) is continuous, and for which f(a) and f(b) are of opposite sign. By repeatedly computing and testing the midpoint, the halving change of sign interval may be reduced, so that either the uncertainty interval or the magnitude of the function value becomes small enough to satisfy the user as an approximation to the location of a root of the function.

This routine is in part a demonstration of the idea of reverse communication. Many zero finders require that the user define f(x) by writing a function with a very specific set of input and output arguments, and sometimes with a specific name, so that the user can call the zero finder, which in turn can call the function. This is sometimes an awkward formulation to follow. Reverse communication instead allows the user's calling program to retain control of the function evaluation.

To use the reverse communication zero finder, the user defines the values of A and B, and sets a parameter JOB to zero to indicate that this is the first call. From then on, the zero finder repeatedly returns a value X, asking the user to evaluate the function there. Once the user has evaluated FX = f(X), the user may accept this approximation to the root, or else call the zero finder again, passing the just-computed value of FX so that it can take another bisection step.


The computer code and data files described and made available on this web page are distributed under the MIT license


bisection_rc is available in a C version and a C++ version and a FORTRAN90 version and a MATLAB version and a Python version.

Related Data and Programs:

backtrack_binary_rc, a C code which carries out a backtrack search for a set of binary decisions, using reverse communication (rc).

bisection_integer, a C code which seeks an integer solution to the equation f(x)=0, using bisection within a user-supplied change of sign interval [a,b].


cg_rc, a C code which implements the conjugate gradient (cg) method for solving a positive definite sparse linear system a*x=b, using reverse communication (rc).

local_min_rc, a C code which finds a local minimum of a scalar function of a scalar variable, without the use of derivative information, using reverse communication (rc), by richard brent.

root_rc, a C code which seeks a solution of a scalar nonlinear equation f(x) = 0, or a system of nonlinear equations, using reverse communication (rc), by gaston gonnet.

roots_rc, a C code which seeks a solution of a system of nonlinear equations f(x) = 0, using reverse communication (rc), by gaston gonnet.

sort_rc, a C code which can sort a list of any kind of objects, using reverse communication (rc).

test_zero, a C code which implements test problems for the solution of a single nonlinear equation in one variable.

zero_rc, a C code which seeks solutions of a scalar nonlinear equation f(x) = 0, using reverse communication (rc).


  1. Werner Rheinboldt,
    Algorithms for finding zeros of a function,
    UMAP Journal,
    Volume 2, Number 1, 1981, pages 43-72.
  2. Werner Rheinboldt,
    Methods for Solving Systems of Nonlinear Equations,
    SIAM, 1998,
    ISBN: 089871415X,
    LC: QA214.R44.

Source Code:

Last revised on 09 June 2019.