Maxima Function
defint (expr, x, a, b)
Attempts to compute a definite integral.
defint is called by integrate when limits of integration are specified,
i.e., when integrate is called as integrate (expr, x, a, b).
Thus from the user's point of view, it is sufficient to call integrate.
defint returns a symbolic expression,
either the computed integral or the noun form of the integral.
See and related functions for numerical approximation of definite integrals.