home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / T3202.REF < prev    next >
Text File  |  1996-06-04  |  294b  |  24 lines
  1.  
  2. *** Yes
  3. > > > > > > > > 
  4. *** Yes
  5. X = 0, Y = s(s(s(s(s(0))))).
  6. --1> 
  7. *** Yes
  8. X = s(0), Y = s(s(s(s(0)))).
  9. --1> 
  10. *** Yes
  11. X = s(s(0)), Y = s(s(s(0))).
  12. --1> 
  13. *** Yes
  14. X = s(s(s(0))), Y = s(s(0)).
  15. --1> 
  16. *** Yes
  17. X = s(s(s(s(0)))), Y = s(0).
  18. --1> 
  19. *** Yes
  20. X = s(s(s(s(s(0))))), Y = 0.
  21. --1> 
  22. *** No
  23. > 
  24.