REDUCE

7.10 LIMIT Operator

LIMITS is a fast limit package for REDUCE for functions which are continuous except for computable poles and singularities, written by Stanley L. Kameny, based on some earlier work by Ian Cohen and John P. Fitch. The Truncated Power Series package is used for non-critical points, at which the value of the function is the constant term in the expansion around that point. l’Hôpital’s rule is used in critical cases, with preprocessing of \(\infty - \infty \) forms and reformatting of product forms in order to apply l’Hôpital’s rule. A limited amount of bounded arithmetic is also employed where applicable.

The standard way of calling limit, applying all of the methods, is

limit(\(\langle \)exprn:algebraic\(\rangle \), \(\langle \)var:kernel\(\rangle \), \(\langle \)limpoint:algebraic\(\rangle \)) : algebraic

The result is the limit of exprn as var approaches limpoint. To compute the of \(\sin (x)/x\) at the point \(0\), enter

limit(sin(x)/x,x,0);

1

If the limit depends upon the direction of approach to the limpoint, the onesided limit functions limit!+ and limit!- may be used:

limit!+(\(\langle \)exprn:algebraic\(\rangle \), \(\langle \)var:kernel\(\rangle \), \(\langle \)limpoint:algebraic\(\rangle \)) : algebraic
limit!-(\(\langle \)exprn:algebraic\(\rangle \), \(\langle \)var:kernel\(\rangle \), \(\langle \)limpoint:algebraic\(\rangle \)) : algebraic

they are defined by:

limit!+ (limit!-) (exp,var,limpoint) \(\rightarrow \)limit(exp*,\(\epsilon \),0),
exp*=sub(var=var+(-)\(\epsilon ^2\),exp)

for example,

limit!+(sqrt x/sin x,x,0);

infinity;


Hosted by Download REDUCE Powered by MathJax