## Call the function whose roots we're concerned with 'f'. The two
## parameters `fa` and `fb` should correspond to f(a) and f(b).
##
-
+ ##
+ ## INPUTS:
+ ##
+ ## * ``fa`` - The value of `f` at one end of the interval.
+ ##
+ ## * ``fb`` - The value of `f` at the other end of the interval.
+ ##
+ ## OUTPUTS:
+ ##
+ ## * ``has_root`` - True if we can use the I.V.T. to conclude that
+ ## there is a root on [a,b], false otherwise.
+ ##
+
## If either f(a) or f(b) is zero, the product of their signs will be
## zero and either a or b is a root. If the product of their signs is
## negative, then f(a) and f(b) are non-zero and have opposite sign,