home *** CD-ROM | disk | FTP | other *** search
/ Info-Mac 1992 August / info-mac-1992.iso / Language (lang) / Lazy-Scheme / Examples / TestandGenerate / cont10 < prev    next >
Encoding:
Text File  |  1992-03-05  |  887 b   |  31 lines  |  [TEXT/Help]
  1. (c)
  2.  
  3. ( r0 e n r1 m i r2 a r o r3 s d)
  4.  
  5. ((=? (+ n (* 3 e)) (+ e (* 10 r0)))
  6.  (=? (+ r0 (+ i (+ n (+ m n)))) (+ m (* 10 r1)))
  7.  (=? (+ r1 (+ a (+ s (+ o r)))) (+ m (* 10 r2)))
  8.  (=? (+ r2 (+ a (+ i r))) (+ o (* 10 r3)))
  9.  (=? (+ r3 (+ a (+ d m))) s)
  10.  (<>? e n) (<>? e m) (<>? e i) (<>? e a)
  11.  (<>? e r) (<>? e o) (<>? e s) (<>? e d)
  12.  (<>? n m) (<>? n i) (<>? n a) (<>? n r)
  13.  (<>? n o) (<>? n s) (<>? n d) (<>? m i)
  14.  (<>? m a) (<>? m r) (<>? m o) (<>? m s)
  15.  (<>? m d) (<>? i a) (<>? i r) (<>? i o)
  16.  (<>? i s) (<>? i d) (<>? a r) (<>? a o)
  17.  (<>? a s) (<>? a d) (<>? r o) (<>? r s)
  18.  (<>? r d) (<>? o s) (<>? o d) (<>? s d)
  19.  (<>? a 0)(<>? d 0)(<>? m 0)(<>? s 0))
  20.  
  21.  
  22. ((0 1)
  23.  (0 1 2 3 4 5 6 7 8 9) (0 1 2 3 4 5 6 7 8 9)
  24.  (0 1)
  25.  (0 1 2 3 4 5 6 7 8 9) (0 1 2 3 4 5 6 7 8 9)
  26.  (0 1)
  27.  (0 1 2 3 4 5 6 7 8 9) (0 1 2 3 4 5 6 7 8 9) (0 1 2 3 4 5 6 7 8 9)
  28.  (0 1)
  29.  (0 1 2 3 4 5 6 7 8 9) (0 1 2 3 4 5 6 7 8 9))
  30.  
  31.