home *** CD-ROM | disk | FTP | other *** search
/ Info-Mac 1992 August / info-mac-1992.iso / Language (lang) / Lazy-Scheme / Examples / TestandGenerate / cont7 < prev    next >
Encoding:
Text File  |  1990-01-08  |  590 b   |  24 lines  |  [TEXT/Help]
  1. ;IRIT-LSI=RIEN
  2.  
  3. (b2 r i b1 l b0 s e t n)
  4.  
  5. ((=? (- T I) (- N (* 10 B0)))
  6.  (=? (- I (+ S B0)) (- E (* 10 B1)))
  7.  (=? (- R (+ L B1)) (- I (* 10 B2)))
  8.  (=? (- I B2) R)
  9.  (<>? i r) (<>? i t) (<>? i l) (<>? i s) (<>? i e)
  10.  (<>? i n) (<>? r t) (<>? r l) (<>? r s) (<>? r e)
  11.  (<>? r n) (<>? t l) (<>? t s) (<>? t e) (<>? t n)
  12.  (<>? l s) (<>? l e) (<>? l n) (<>? s e) (<>? s n)
  13.  (<>? e n)(<>? i 0)(<>? l 0)(<>? r 0)) 
  14.  
  15. ((0 1)
  16.  (0 1 2 3 4 5 6 7 8 9)
  17.  (0 1 2 3 4 5 6 7 8 9)
  18.  (0 1)
  19.  (0 1 2 3 4 5 6 7 8 9)
  20.  (0 1)
  21.  (0 1 2 3 4 5 6 7 8 9)
  22.  (0 1 2 3 4 5 6 7 8 9)
  23.  (0 1 2 3 4 5 6 7 8 9)
  24.  (0 1 2 3 4 5 6 7 8 9))