automatic computation of limits
This paper describes a program designed and implemented for the MACSYMA system for the computation of limits of single-valued functions of a real variable. The classes of expressions handled by this program include rational, radical, logarithmic and exponential expressions, and also the trigonometric functions sine, cosine and tangent. The first few sections of this paper contain an outline of the algorithm used and some examples of solutions of limit problems by the MACSYMA system. A number of more important methods used in the program are discussed in detail in the later sections. Among these methods are: a fast method for the limit of a rational function, L'Hospital's rule, a method for a class of expressions called RP-expressions and comparison of orders of infinity.
computation paper systems functional variability class express algorithm examples method comparisons