home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / DISSOLVE.REF < prev    next >
Text File  |  1996-06-04  |  1KB  |  45 lines
  1.  
  2. *** Yes
  3. > > U1:s, U1.1=U2, U2=U1, 
  4. *** Yes
  5. X = s(X).
  6. --1> U1:s, U1.1=U2, U2=U1, 
  7. *** Yes
  8. X = s(X), Y = s(Y).
  9. ----2> U1:s, 
  10. *** Yes
  11. X = s(X), Y = s(Y).
  12. ----2> U1:s, U1.1=U2, U2:a, U1.2=U3, U3=U2, 
  13. *** Yes
  14. X = s(X), Y = s(Y), Z = a.
  15. ------3> U1:s, U1.1=U2, U2:a, U1.2=U3, U3:b, 
  16. *** Yes
  17. Q = b, W = a, X = s(X), Y = s(Y), Z = a.
  18. --------4> U1:cons~, U1.hd=U2, U2:@, U1.tl=U3, U3:[], 
  19. *** Yes
  20. Q = b, W = a, X = s(X), Y = s(Y), Z = a.
  21. --------4> U1:,, U1.1=U2, U2:=, U2.1=U3, U3:=A,writeq(A),write(A)?, U2.2=U4, U4:@, U1.2=U5, U5:,, U5.1=U6, U6:writeq, U6.1=U7, U7=U4, U5.2=U8, U8:write, U8.1=U9, U9=U4, 
  22. *** Yes
  23. A = @, Q = b, W = a, X = s(X), Y = s(Y), Z = a.
  24. ----------5> U1:cons~, U1.hd=U2, U2:1, U1.tl=U3, U3:cons~, U3.hd=U4, U4:2, U3.tl=U5, U5:cons~, U5.hd=U6, U6:3, U5.tl=U7, U7:cons~, U7.hd=U8, U8:4, U7.tl=U9, U9:[], 
  25. *** Yes
  26. A = @, Q = b, W = a, X = s(X), Y = s(Y), Z = a.
  27. ----------5> U1:s, U1.1=U2, U2:t, U2.1=U3, U3:u, U3.1=U4, U4:v, U4.1=U5, U5:w, U5.1=U6, U6:x, U6.1=U7, U7:y, 
  28. *** Yes
  29. A = @, Q = b, W = a, X = s(X), Y = s(Y), Z = a.
  30. ----------5> 
  31. *** No
  32. Q = b, W = a, X = s(X), Y = s(Y), Z = a.
  33. --------4> 
  34. *** No
  35. X = s(X), Y = s(Y), Z = a.
  36. ------3> 
  37. *** No
  38. X = s(X), Y = s(Y).
  39. ----2> 
  40. *** No
  41. X = s(X).
  42. --1> 
  43. *** No
  44. > 
  45.