home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / DICHOTOM.LF < prev    next >
Text File  |  1996-06-04  |  388b  |  13 lines
  1. solve(F,A:real,B:real) -> cond(F(A)*F(B)>0,
  2.                                 {},
  3.                                dichotomy(F,A,B)).
  4.  
  5. dichotomy(F,A,B) -> cond(abs((C:((A+B)/2))-A)<0.00001,
  6.                          C,
  7.              
  8.                          cond(F(A)*F(C)>0,
  9.                               dichotomy(F,C,B),
  10.                               dichotomy(F,A,C))).
  11.  
  12. poly(X) -> (X-5)*(X+3)*(X-2).
  13.