home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / DISEQUAL.L06 < prev    next >
Text File  |  1996-06-04  |  81b  |  11 lines
  1. ab <| a.
  2. ab <| b.
  3.  
  4. bc <| b.
  5. bc <| c.
  6.  
  7. ac <| a.
  8. ac <| c.
  9.  
  10. g(X,t(r(X)),s(X)) -> 1.
  11.