# DefiniteIntegrationTools(R, F)¶

checkForZero(p, x, a, b, incl?) is true if p has a zero for x between a and b, false otherwise, “failed” if this cannot be determined. Check for a and b inclusive if incl? is true, exclusive otherwise.
checkForZero(p, a, b, incl?) is true if p has a zero between a and b, false otherwise, “failed” if this cannot be determined. Check for a and b inclusive if incl? is true, exclusive otherwise.
computeInt(x, g, a, b, eval?) returns the integral of f for x between a and b, assuming that g is an indefinite integral of f and f has no pole between a and b. If eval? is true, then g can be evaluated safely at a and b, provided that they are finite values. Otherwise, limits must be computed.
ignore?(s) is true if s is the string that tells the integrator to assume that the function has no pole in the integration interval.