home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / DISEQUAL.R00 < prev    next >
Text File  |  1996-06-04  |  363b  |  37 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** No
  5. > 
  6. *** Yes
  7. A = g(X,X), X = @.
  8. --1> 
  9. *** No
  10. A = g(X,X), X = @.
  11. --1> 
  12. *** No
  13. > 
  14. *** Yes
  15. A = @, B = @~, C = @~.
  16. --1> 
  17. *** No
  18. A = @, B = @~, C = @~.
  19. --1> 
  20. *** No
  21. A = @, B = @~, C = @~.
  22. --1> 
  23. *** No
  24. A = @, B = @~, C = @~.
  25. --1> 
  26. *** Yes
  27. A = 1, B = a, C = b.
  28. ----2> 
  29. *** No
  30. A = @, B = @~, C = @~.
  31. --1> 
  32. *** No
  33. A = @, B = @~, C = @~.
  34. --1> 
  35. *** No
  36. > 
  37.