home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / UNIFY.REF < prev    next >
Text File  |  1996-06-04  |  1KB  |  130 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = a(1,2,q,r).
  6. --1> > 
  7. *** Yes
  8. A = a(1,2,q,r).
  9. --1> > 
  10. *** Yes
  11. A = a(1,2,q,r).
  12. --1> > 
  13. *** Yes
  14. A = a(1,2,q,r).
  15. --1> > 
  16. *** Yes
  17. A = a(1).
  18. --1> 
  19. *** Yes
  20. A = a(1).
  21. --1> 
  22. *** Yes
  23. A = a(2).
  24. --1> 
  25. *** Yes
  26. A = a(2).
  27. --1> 
  28. *** Yes
  29. A = a(3).
  30. --1> 
  31. *** Yes
  32. A = a(3).
  33. --1> 
  34. *** No
  35. > 
  36. *** Yes
  37. A = a(1).
  38. --1> 
  39. *** Yes
  40. A = a(2).
  41. --1> 
  42. *** Yes
  43. A = a(3).
  44. --1> 
  45. *** No
  46. > 
  47. *** No
  48. > 
  49. *** Yes
  50. A = a(10).
  51. --1> 
  52. *** Yes
  53. A = a(X,3 => X), X = 10.
  54. ----2> 
  55. *** Yes
  56. A = a(X,X,X), X = 10, Y = X.
  57. ------3> 
  58. *** Yes
  59. A = a(X,X,X,foo => X), X = 10, Y = X, Z = X.
  60. --------4> 
  61. *** Yes
  62. A = a(X,X,X,5 => X,foo => X), X = 10, Y = X, Z = X.
  63. ----------5> 
  64. *** Yes
  65. A = a(X,X,X,bah,X,foo => X), X = 10, Y = X, Z = X.
  66. ------------6> > 
  67. *** Yes
  68. A = a(1,2,q,r).
  69. --1> > 
  70. *** Yes
  71. A = a(1,2,q,r).
  72. --1> > 
  73. *** Yes
  74. A = a(1,2,q,r).
  75. --1> > 
  76. *** Yes
  77. A = a(1,2,q,r).
  78. --1> > 
  79. *** Yes
  80. A = a(1).
  81. --1> 
  82. *** Yes
  83. A = a(1).
  84. --1> 
  85. *** Yes
  86. A = a(2).
  87. --1> 
  88. *** Yes
  89. A = a(2).
  90. --1> 
  91. *** Yes
  92. A = a(3).
  93. --1> 
  94. *** Yes
  95. A = a(3).
  96. --1> 
  97. *** No
  98. > 
  99. *** Yes
  100. A = a(1).
  101. --1> 
  102. *** Yes
  103. A = a(2).
  104. --1> 
  105. *** Yes
  106. A = a(3).
  107. --1> 
  108. *** No
  109. > 
  110. *** No
  111. > 
  112. *** Yes
  113. A = a(10).
  114. --1> 
  115. *** Yes
  116. A = a(X,3 => X), X = 10.
  117. ----2> 
  118. *** Yes
  119. A = a(X,X,X), X = 10, Y = X.
  120. ------3> 
  121. *** Yes
  122. A = a(X,X,X,foo => X), X = 10, Y = X, Z = X.
  123. --------4> 
  124. *** Yes
  125. A = a(X,X,X,5 => X,foo => X), X = 10, Y = X, Z = X.
  126. ----------5> 
  127. *** Yes
  128. A = a(X,X,X,bah,X,foo => X), X = 10, Y = X, Z = X.
  129. ------------6> > 
  130.