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.REF < prev    next >
Text File  |  1996-06-04  |  1KB  |  109 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = a(b(c(d,d),c(d,d)),b(c(d,d),c(d,d))).
  6. --1> 
  7. *** Yes
  8. A = a(...).
  9. --1> 
  10. *** Yes
  11. A = a(b(...),b(...)).
  12. --1> 
  13. *** Yes
  14. A = a(b(c(...),c(...)),b(c(...),c(...))).
  15. --1> 
  16. *** Yes
  17. A = a(b(c(d,d),c(d,d)),b(c(d,d),c(d,d))).
  18. --1> 
  19. *** No
  20. > 
  21. *** Yes
  22. A = +(...) + 4 + 5 + 6.
  23. --1> 
  24. *** Yes
  25. A = +(...).
  26. --1> 
  27. *** Yes
  28. A = +(...) + 6.
  29. --1> 
  30. *** Yes
  31. A = +(...) + 5 + 6.
  32. --1> 
  33. *** Yes
  34. A = +(...) + 4 + 5 + 6.
  35. --1> 
  36. *** Yes
  37. A = +(...) + 3 + 4 + 5 + 6.
  38. --1> 
  39. *** Yes
  40. A = 1 + 2 + 3 + 4 + 5 + 6.
  41. --1> 
  42. *** Yes
  43. A = 1 + 2 + 3 + 4 + 5 + 6.
  44. --1> 
  45. *** Yes
  46. A = 1 + 2 + 3 + 4 + 5 + 6.
  47. --1> 
  48. *** Yes
  49. A = 1 + 2 + 3 + 4 + 5 + 6.
  50. --1> 
  51. *** No
  52. > 
  53. *** Yes
  54. > 
  55. *** Yes
  56. > 
  57. *** Yes
  58. > 
  59. *** Yes
  60. > > 
  61. *** Yes
  62. A = s(X,t(X)), X = u(v).
  63. --1> 
  64. *** Yes
  65. A = s(...), X = u(...).
  66. --1> 
  67. *** Yes
  68. A = s(X,t(...)), X = u(v).
  69. --1> 
  70. *** Yes
  71. A = s(X,t(X)), X = u(v).
  72. --1> 
  73. *** No
  74. > 
  75. *** Yes
  76. A = s(t(X),X), X = u(v(w)).
  77. --1> 
  78. *** Yes
  79. A = s(...), X = u(...).
  80. --1> 
  81. *** Yes
  82. A = s(t(...),X), X = u(v(...)).
  83. --1> 
  84. *** Yes
  85. A = s(t(X),X), X = u(v(w)).
  86. --1> 
  87. *** Yes
  88. A = s(t(X),X), X = u(v(w)).
  89. --1> 
  90. *** No
  91. > 
  92. *** Yes
  93. A = w(w(w(A))), X = A.
  94. --1> 
  95. *** Yes
  96. A = w(...), X = A.
  97. --1> 
  98. *** Yes
  99. A = w(w(...)), X = A.
  100. --1> 
  101. *** Yes
  102. A = w(w(w(...))), X = A.
  103. --1> 
  104. *** Yes
  105. A = w(w(w(A))), X = A.
  106. --1> 
  107. *** No
  108. > 
  109.