home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / PRINT_DE.R00 < prev    next >
Text File  |  1996-06-04  |  3KB  |  220 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = [1,2,3,4,5].
  6. --1> 
  7. *** Yes
  8. A = [1,2,3,4,5], B = [1,2,3|B].
  9. ----2> 
  10. *** Yes
  11. A = [...], B = [...|B].
  12. ----2> 
  13. *** Yes
  14. A = [1,...], B = [1,...|B].
  15. ----2> 
  16. *** Yes
  17. A = [1,2,...], B = [1,2,...|B].
  18. ----2> 
  19. *** Yes
  20. A = [1,2,3,...], B = [1,2,3|B].
  21. ----2> 
  22. *** Yes
  23. A = [1,2,3,4,...], B = [1,2,3|B].
  24. ----2> 
  25. *** Yes
  26. A = [1,2,3,4,5], B = [1,2,3|B].
  27. ----2> > 
  28. *** Yes
  29. > 
  30. *** Yes
  31. A = @, B = @, C = s(A,t(B)).
  32. --1> 
  33. *** Yes
  34. A = @, B = @, C = s(...).
  35. --1> 
  36. *** Yes
  37. A = @, B = @, C = s(A,t(...)).
  38. --1> 
  39. *** Yes
  40. A = @, B = @, C = s(A,t(B)).
  41. --1> > 
  42. *** Yes
  43. > 
  44. *** Yes
  45. D = [1,2,3|s(t(u(X)))], X = @.
  46. --1> 
  47. *** Yes
  48. D = [...|s(...)], X = @.
  49. --1> 
  50. *** Yes
  51. D = [1,...|s(...)], X = @.
  52. --1> 
  53. *** Yes
  54. D = [1,2,...|s(t(...))], X = @.
  55. --1> 
  56. *** Yes
  57. D = [1,2,3|s(t(u(...)))], X = @.
  58. --1> 
  59. *** Yes
  60. D = [1,2,3|s(t(u(X)))], X = @.
  61. --1> > 
  62. *** Yes
  63. > 
  64. *** Yes
  65. A = s([1,2,3|X],[a,X|b([c|d(X)])]), X = q(qq(qqq)).
  66. --1> 
  67. *** Yes
  68. A = s(...), X = q(...).
  69. --1> 
  70. *** Yes
  71. A = s([1,...|X],[a,...|b(...)]), X = q(qq(...)).
  72. --1> 
  73. *** Yes
  74. A = s([1,2,...|X],[a,X|b(...)]), X = q(qq(qqq)).
  75. --1> 
  76. *** Yes
  77. A = s([1,2,3|X],[a,X|b([c|d(...)])]), X = q(qq(qqq)).
  78. --1> 
  79. *** Yes
  80. A = s([1,2,3|X],[a,X|b([c|d(...)])]), X = q(qq(qqq)).
  81. --1> 
  82. *** Yes
  83. A = s([1,2,3|X],[a,X|b([c|d(X)])]), X = q(qq(qqq)).
  84. --1> > 
  85. *** Yes
  86. > 
  87. *** Yes
  88. A = s(t(u(1),v(2)),w(x(3),y(4))).
  89. --1> 
  90. *** Yes
  91. A = s(...).
  92. --1> 
  93. *** Yes
  94. A = s(t(...),w(...)).
  95. --1> 
  96. *** Yes
  97. A = s(t(u(...),v(...)),w(x(...),y(...))).
  98. --1> 
  99. *** Yes
  100. A = s(t(u(1),v(2)),w(x(3),y(4))).
  101. --1> > 
  102. *** Yes
  103. > 
  104. *** Yes
  105. A = [s(1)|t(2)].
  106. --1> 
  107. *** Yes
  108. A = [...|t(...)].
  109. --1> 
  110. *** Yes
  111. A = [s(...)|t(...)].
  112. --1> 
  113. *** Yes
  114. A = [s(1)|t(2)].
  115. --1> > 
  116. *** Yes
  117. > 
  118. *** Yes
  119. A = [1,2,3,4].
  120. --1> 
  121. *** Yes
  122. A = [...].
  123. --1> 
  124. *** Yes
  125. A = [1,...].
  126. --1> 
  127. *** Yes
  128. A = [1,2,...].
  129. --1> 
  130. *** Yes
  131. A = [1,2,3,...].
  132. --1> 
  133. *** Yes
  134. A = [1,2,3,4].
  135. --1> > 
  136. *** Yes
  137. > 
  138. *** Yes
  139. A = [1].
  140. --1> 
  141. *** Yes
  142. A = [...].
  143. --1> 
  144. *** Yes
  145. A = [1].
  146. --1> > 
  147. *** Yes
  148. > 
  149. *** Yes
  150. A = [].
  151. --1> 
  152. *** Yes
  153. A = [].
  154. --1> > 
  155. *** Yes
  156. > |    |    
  157. *** Yes
  158. A = [[[1,2,3],[1,2,3],[1,2,3]],
  159.      [[1,2,3],[1,2,3],[1,2,3]],
  160.      [[1,2,3],[1,2,3],[1,2,3]]].
  161.  
  162. --1> 
  163. *** Yes
  164. A = [...].
  165. --1> 
  166. *** Yes
  167. A = [[[1,...],...],...].
  168. --1> 
  169. *** Yes
  170. A = [[[1,2,...],[1,2,...],...],[[1,2,...],[1,2,...],...],...].
  171. --1> 
  172. *** Yes
  173. A = [[[1,2,3],[1,2,3],[1,2,3]],
  174.      [[1,2,3],[1,2,3],[1,2,3]],
  175.      [[1,2,3],[1,2,3],[1,2,3]]].
  176.  
  177. --1> > 
  178. *** Yes
  179. > |    |    
  180. *** Yes
  181. A = [s([1,2,3],[1,2,3],[1,2,3]),
  182.      s([1,2,3],[1,2,3],[1,2,3]),
  183.      s([1,2,3],[1,2,3],[1,2,3])].
  184.  
  185. --1> 
  186. *** Yes
  187. A = [...].
  188. --1> 
  189. *** Yes
  190. A = [s(...),...].
  191. --1> 
  192. *** Yes
  193. A = [s([1,2,...],[1,2,...],[1,2,...]),s([1,2,...],[1,2,...],[1,2,...]),...].
  194. --1> 
  195. *** Yes
  196. A = [s([1,2,3],[1,2,3],[1,2,3]),
  197.      s([1,2,3],[1,2,3],[1,2,3]),
  198.      s([1,2,3],[1,2,3],[1,2,3])].
  199.  
  200. --1> > 
  201. *** Yes
  202. > 
  203. *** Yes
  204. A = [s([1,2,3],[1,2,3],[1,2,3]),[1,2,3]|s([1,2,3],[1,2,3],[1,2,3])].
  205. --1> 
  206. *** Yes
  207. A = [...|s(...)].
  208. --1> 
  209. *** Yes
  210. A = [s(...),...|s(...)].
  211. --1> 
  212. *** Yes
  213. A = [s([1,2,...],[1,2,...],[1,2,...]),
  214.      [1,2,...]|s([1,2,...],[1,2,...],[1,2,...])].
  215.  
  216. --1> 
  217. *** Yes
  218. A = [s([1,2,3],[1,2,3],[1,2,3]),[1,2,3]|s([1,2,3],[1,2,3],[1,2,3])].
  219. --1> > 
  220.