home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / DISEQUAL.R01 < prev    next >
Text File  |  1996-06-04  |  2KB  |  102 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = @, B = @~, C = @~, D = @~, E = @~, F = @~.
  6. --1> 
  7. *** No
  8. A = @, B = @~, C = @~, D = @~, E = @~, F = @~.
  9. --1> 
  10. *** No
  11. A = @, B = @~, C = @~, D = @~, E = @~, F = @~.
  12. --1> 
  13. *** No
  14. A = @, B = @~, C = @~, D = @~, E = @~, F = @~.
  15. --1> 
  16. *** No
  17. A = @, B = @~, C = @~, D = @~, E = @~, F = @~.
  18. --1> 
  19. *** No
  20. A = @, B = @~, C = @~, D = @~, E = @~, F = @~.
  21. --1> 
  22. *** Yes
  23. A = @, B = @~, C = @~, D = a~, E = @~, F = @~.
  24. ----2> 
  25. *** No
  26. A = @, B = @~, C = @~, D = a~, E = @~, F = @~.
  27. ----2> 
  28. *** No
  29. A = @, B = @~, C = @~, D = a~, E = @~, F = @~.
  30. ----2> 
  31. *** No
  32. A = @, B = @~, C = @~, D = @~, E = @~, F = @~.
  33. --1> 
  34. *** No
  35. > 
  36. *** Yes
  37. A = @, X = @~, Y = @~.
  38. --1> 
  39. *** Yes
  40. A = @, X = c~, Y = @~.
  41. ----2> 
  42. *** Yes
  43. A = @, X = c~, Y = d~.
  44. ------3> 
  45. *** Yes
  46. A = 1, X = a, Y = X.
  47. --------4> 
  48. *** Yes
  49. A = 1, X = b, Y = X.
  50. --------4> 
  51. *** No
  52. A = @, X = c~, Y = d~.
  53. ------3> 
  54. *** No
  55. A = @, X = c~, Y = @~.
  56. ----2> 
  57. *** No
  58. A = @, X = @~, Y = @~.
  59. --1> 
  60. *** Yes
  61. A = @, B = @, X = s(a(a(a(B))))~, Y = @~.
  62. ----2> 
  63. *** Yes
  64. A = @, B = @~, C = @~, X = s(a(a(a(B)~)~)~)~, Y = s(a(a(a(C)~)~)~)~.
  65. ------3> 
  66. *** Yes
  67. A = @, B = c~, C = @~, X = s(a(a(a(B)~)~)~)~, Y = s(a(a(a(C)~)~)~)~.
  68. --------4> 
  69. *** Yes
  70. A = @, B = c~, C = a~, X = s(a(a(a(B)~)~)~)~, Y = s(a(a(a(C)~)~)~)~.
  71. ----------5> 
  72. *** Yes
  73. A = @, B = c~, C = a~, X = s(a(a(a(B)~)~)~)~, Y = s(a(a(a(C)~)~)~)~.
  74. ------------6> 
  75. *** No
  76. A = @, B = c~, C = a~, X = s(a(a(a(B)~)~)~)~, Y = s(a(a(a(C)~)~)~)~.
  77. ----------5> 
  78. *** No
  79. A = @, B = c~, C = a~, X = s(a(a(a(B)~)~)~)~, Y = s(a(a(a(C)~)~)~)~.
  80. ----------5> 
  81. *** Yes
  82. A = 1, B = a, C = B, X = s(a(a(a(B)))), Y = X.
  83. ------------6> 
  84. *** No
  85. A = @, B = c~, C = a~, X = s(a(a(a(B)~)~)~)~, Y = s(a(a(a(C)~)~)~)~.
  86. ----------5> 
  87. *** No
  88. A = @, B = c~, C = @~, X = s(a(a(a(B)~)~)~)~, Y = s(a(a(a(C)~)~)~)~.
  89. --------4> 
  90. *** No
  91. A = @, B = c~, C = @~, X = s(a(a(a(B)~)~)~)~, Y = s(a(a(a(C)~)~)~)~.
  92. --------4> 
  93. *** No
  94. A = @, B = @~, C = @~, X = s(a(a(a(B)~)~)~)~, Y = s(a(a(a(C)~)~)~)~.
  95. ------3> 
  96. *** No
  97. A = @, B = @, X = s(a(a(a(B))))~, Y = @~.
  98. ----2> 
  99. *** No
  100. A = @, X = @~, Y = @~.
  101. --1> 
  102.