home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / T8104.LF < prev    next >
Text File  |  1996-06-04  |  551b  |  23 lines
  1. %
  2. %        Wild_life testing
  3. %
  4. %        Infinity and NaN
  5. %
  6. %
  7.  
  8. testInfinity(X) :-
  9.                      ( nl, write(exp(X)) ; 
  10.                        nl, write(exp(-1*X)) ; 
  11.                        nl, write(log(X)) ; 
  12.                        nl, write(sqrt(X)) ;
  13.                        nl ,write(12*X+342)),
  14.                      fail.
  15. testInfinity.
  16.                                
  17. testNaN :- ( nl, write(cos(1e10)) ; 
  18.              nl, write(cos(cos(1e10))) ; 
  19.              nl ,write(1e310 - 1e310) ; 
  20.              nl ,write(cos(1e310)) ),
  21.             fail.
  22. testNaN.
  23.