home *** CD-ROM | disk | FTP | other *** search
- file LIM%.DIF GAE - Feb. 1982
- Make a new version of file LIM.DIF as follows:
- (1) Start with the original LIM.DIF.
- (2) Add at the end (just before RDS () $ ) the rest of this
- file:
- -------------------------------------------------------------
-
- PROPERTY LIM, ERF, FUNCTION (EX1),
- WHEN (EX1:LIM1(EX1,#LIM)) EQ PINF, 1 EXIT,
- WHEN EX1 EQ MINF, -1 EXIT,
- WHEN EX1 EQ CINF, ? EXIT,
- WHEN MEMBER (EX1, '(? PZERO MZERO)), EX1 EXIT,
- ERF(EX1),
- ENDFUN $
-
-