This is the Scheme process buffer.
Type C-x C-e to evaluate the expression before point.
Type C-c C-c to abort evaluation.
Type M-? m for more information.

Scheme Microcode Version 14.9
MIT Scheme running under GNU/Linux
Scheme saved on Monday June 17, 2002 at 10:03:44 PM
  Release 7.7.1
  Microcode 14.9
  Runtime 15.1

(define acount 0)
;Value: acount

(define aones

  (cons-stream
   1
   (begin (display (list "a" acount)) (set acount (+ acount 1) ones))))
;Value: aones

(stream-head aones 15)(a 0)
;Unbound variable: ones
;To continue, call RESTART with an option number:
; (RESTART 3) => Specify a value to use instead of ones.
; (RESTART 2) => Define ones to a given value.
; (RESTART 1) => Return to read-eval-print level 1.

(restart 1)
;Abort!

(define aones

  (cons-stream
   1
   (begin (display (list "a" acount)) (set acount (+ acount 1) aones))))
;Value: aones

(stream-head aones 15)
(a 0)
;Unbound variable: set
;To continue, call RESTART with an option number:
; (RESTART 3) => Specify a value to use instead of set.
; (RESTART 2) => Define set to a given value.
; (RESTART 1) => Return to read-eval-print level 1.


(RESTART 1)
;Abort!

(define aones

  (cons-stream
   1
   (begin (display (list "a" acount)) (set! acount (+ acount 1) aones))))
;Ill-formed special form: (set! acount (+ acount 1) aones)
;To continue, call RESTART with an option number:
; (RESTART 1) => Return to read-eval-print level 1.

(restart 1)
;Abort!

(define aones

  (cons-stream
   1
   (begin (display (list "a" acount)) (set! acount (+ acount 1)) aones)))
;Value: aones

(stream-head aones 15)
(a 0)
;Value 1: (1 1 1 1 1 1 1 1 1 1 1 1 1 1 1)

(define (make_one_with_count tag)

  (define count 0)

  (begin

    (display (list tag count))

    (newline)

    (set! count (+ count 1))

    1))
;Value: make_one_with_count

(define a1 (make_one_with_count "a"))(a 0)
;Value: a1

(define aones (cons-stream a1 aones))
;Value: aones

(stream-head aones 10)
;Value 2: (1 1 1 1 1 1 1 1 1 1)

(define (make_one_with_count tag)

  (lambda ()

    (define count 0)

    (begin

      (display (list tag count))

      (newline)

      (set! count (+ count 1))

      1)))
;Value: make_one_with_count

(define aones (cons-stream (a1) aones));The object 1 is not applicable.
;To continue, call RESTART with an option number:
; (RESTART 2) => Specify a procedure to use in its place.
; (RESTART 1) => Return to read-eval-print level 1.

(restart 1)
;Abort!

(define a1 (make_one_with_count "a"))
;Value: a1

(define aones (cons-stream a1 aones))
;Value: aones

(stream-head aones 10)
;Value 3: (#[compound-procedure 4] #[compound-procedure 4] #[compound-procedure 4] #[compound-procedure 4] #[compound-procedure 4] #[compound-procedure 4] #[compound-procedure 4] #[compound-procedure 4] #[compound-procedure 4] #[compound-procedure 4])

(a1)(a 0)
;Value: 1

(a1)(a 0)
;Value: 1

(define aones (cons-stream (a1) aones))(a 0)
;Value: aones

(stream-head aones 10)
;Value 5: (1 1 1 1 1 1 1 1 1 1)

(define (make_one_with_count tag)

  (define count 0)

  (lambda ()

    (begin

      (newline)

      (display (list tag count))

      (set! count (+ count 1))

      1)))
;Value: make_one_with_count

(define a1 (make_one_with_count "a"))
;Value: a1

(a1)
(a 0)
;Value: 1

(a1)
(a 1)
;Value: 1

(a1)
(a 2)
;Value: 1

(define aones (cons-stream (a1) aones))
(a 3)
;Value: aones

(stream-head aones 10)
;Value 6: (1 1 1 1 1 1 1 1 1 1)

(stream-car (stream-cdr aones))
;Value: 1

(define (aones) (cons-stream (a1) (aones)))
;Value: aones

(stream-head (aones) 10)
(a 4)
(a 5)
(a 6)
(a 7)
(a 8)
(a 9)
(a 10)
(a 11)
(a 12)
(a 13)
(a 14)
;Value 7: (1 1 1 1 1 1 1 1 1 1)

(load "ratintvl-3_ratpair-1,mod1.scm")
;Loading "ratintvl-3_ratpair-1,mod1.scm" -- done
;Value: std_ratintvl->string

(load "xreal-2_tristream-1,mod2.scm");Loading "xreal-2_tristream-1,mod2.scm" -- done
;Value: mult_xreal

(stream-head (add_xreal (rational->xreal 1/10) (rational->xreal 1/10)) 5)
;Value 8: (0 0 1 2 1)

(define xr1 (make_one_with_count "xr1"))
;Value: xr1

(define xr2 (make_one_with_count "xr2"))
;Value: xr2

(define xr1c (make_one_with_count "xr1"))
;Value: xr1c

(define xr2c (make_one_with_count "xr2"))
;Value: xr2c

(define (xr1f) (cons-stream (xr1c) (xr1f)))
;Value: xr1f

(define (xr2f) (cons-stream (xr2c) (xr2f)))
;Value: xr2f

(stream-head (add_xreal (xr1f) (xr2f)) 3)
(xr2 0)
(xr1 0)
(xr1 1)
(xr2 1)
(xr1 2)
(xr2 2)
(xr1 3)
(xr2 3)
(xr1 4)
(xr2 4)
;Value 9: (3 0 0)

(stream-head (add_xreal (xr1f) (xr2f)) 5)
(xr2 5)
(xr1 5)
(xr1 6)
(xr2 6)
(xr1 7)
(xr2 7)
(xr1 8)
(xr2 8)
(xr1 9)
(xr2 9)
(xr1 10)
(xr2 10)
(xr1 11)
(xr2 11)
;Value 10: (3 0 0 0 0)

(define (make_one_with_count tag)

  (define count 0)

  (lambda ()

    (begin

      (newline)

      (set! count (+ count 1))

      (display (list tag count))

      1)))
;Value: make_one_with_count

(define xr1c (make_one_with_count "xr1"))
;Value: xr1c

(define xr2c (make_one_with_count "xr2"))
;Value: xr2c

(define (xr1f) (cons-stream (xr1c) (xr1f)))
;Value: xr1f

(define (xr2f) (cons-stream (xr2c) (xr2f)))
;Value: xr2f

(stream-head (add_xreal (xr1f) (xr2f)) 1)
(xr2 1)
(xr1 1)
(xr1 2)
(xr2 2)
(xr1 3)
(xr2 3)
;Value 11: (3)

(stream-head (add_xreal (xr1f) (xr2f)) 2)
(xr2 4)
(xr1 4)
(xr1 5)
(xr2 5)
(xr1 6)
(xr2 6)
(xr1 7)
(xr2 7)
;Value 12: (3 0)

(stream-head (add_xreal (xr1f) (xr2f)) 3)
(xr2 8)
(xr1 8)
(xr1 9)
(xr2 9)
(xr1 10)
(xr2 10)
(xr1 11)
(xr2 11)
(xr1 12)
(xr2 12)
;Value 13: (3 0 0)

(stream-head (add_xreal (xr1f) (xr2f)) 4)
(xr2 13)
(xr1 13)
(xr1 14)
(xr2 14)
(xr1 15)
(xr2 15)
(xr1 16)
(xr2 16)
(xr1 17)
(xr2 17)
(xr1 18)
(xr2 18)
;Value 14: (3 0 0 0)

(stream-head (add_xreal (xr1f) (xr2f)) 5)
(xr2 19)
(xr1 19)
(xr1 20)
(xr2 20)
(xr1 21)
(xr2 21)
(xr1 22)
(xr2 22)
(xr1 23)
(xr2 23)
(xr1 24)
(xr2 24)
(xr1 25)
(xr2 25)
;Value 15: (3 0 0 0 0)

(define (make_one_with_count tag)

  (define count 0)

  (lambda ()

    (begin

      (newline)

      (set! count (+ count 1))

      (display (list tag count))

      1)))
;Value: make_one_with_count

(define xr1c (make_one_with_count "xr1"))
;Value: xr1c

(define xr2c (make_one_with_count "xr2"))
;Value: xr2c

(define (xr1f) (cons-stream (xr1c) (xr1f)))
;Value: xr1f

(define (xr2f) (cons-stream (xr2c) (xr2f)))
;Value: xr2f

(stream-head (add_xreal (xr1f) (xr2f)) 1)
(xr2 1)
(xr1 1)
(xr1 2)
(xr2 2)
(xr1 3)
(xr2 3)
;Value 11: (3)

(stream-head (add_xreal (xr1f) (xr2f)) 2)
(xr2 4)
(xr1 4)
(xr1 5)
(xr2 5)
(xr1 6)
(xr2 6)
(xr1 7)
(xr2 7)
;Value 12: (3 0)

(stream-head (add_xreal (xr1f) (xr2f)) 3)
(xr2 8)
(xr1 8)
(xr1 9)
(xr2 9)
(xr1 10)
(xr2 10)
(xr1 11)
(xr2 11)
(xr1 12)
(xr2 12)
;Value 13: (3 0 0)

(stream-head (add_xreal (xr1f) (xr2f)) 4)
(xr2 13)
(xr1 13)
(xr1 14)
(xr2 14)
(xr1 15)
(xr2 15)
(xr1 16)
(xr2 16)
(xr1 17)
(xr2 17)
(xr1 18)
(xr2 18)
;Value 14: (3 0 0 0)

(stream-head (add_xreal (xr1f) (xr2f)) 5)
(xr2 19)
(xr1 19)
(xr1 20)
(xr2 20)
(xr1 21)
(xr2 21)
(xr1 22)
(xr2 22)
(xr1 23)
(xr2 23)
(xr1 24)
(xr2 24)
(xr1 25)
(xr2 25)
;Value 15: (3 0 0 0 0)

(define (make_one_with_count tag)

  (define count 0)

  (lambda (op)

    (cond

     ((eq? op 'reset)

      (set! count 0))

     ((eq? op 'produce)

      (begin

        (newline)

        (set! count (+ count 1))

        (display (list tag count))

        1)))))
;Value: make_one_with_count

(define xra1c (make_one_with_count "xra1"))
;Value: xra1c

(define xra2c (make_one_with_count "xra2"))
;Value: xra2c

(define (xra1f) (cons-stream (xra1c 'produce) (xra1f)))
;Value: xra1f

(define (xra2f) (cons-stream (xra2c 'produce) (xra2f)))
;Value: xra2f

(stream-head (add_xreal (xra1f) (xra2f)) 1)
(xra2 1)
(xra1 1)
(xra1 2)
(xra2 2)
(xra1 3)
(xra2 3)
;Value 19: (3)

(xra1c 'reset)
;Value: 3

(xra2c 'reset)
;Value: 3

(stream-head (add_xreal (xra1f) (xra2f)) 2)
(xra2 1)
(xra1 1)
(xra1 2)
(xra2 2)
(xra1 3)
(xra2 3)
(xra1 4)
(xra2 4)
;Value 20: (3 0)

(xra1c 'reset)
;Value: 4

(xra2c 'reset)
;Value: 4

(stream-head (add_xreal (xra1f) (xra2f)) 2)
(xra2 1)
(xra1 1)
(xra1 2)
(xra2 2)
(xra1 3)
(xra2 3)
(xra1 4)
(xra2 4)
;Value 21: (3 0)

(xra1c 'reset)
;Value: 4

(xra2c 'reset)
;Value: 4

(stream-head (add_xreal (xra1f) (xra2f)) 3)
(xra2 1)
(xra1 1)
(xra1 2)
(xra2 2)
(xra1 3)
(xra2 3)
(xra1 4)
(xra2 4)
(xra1 5)
(xra2 5)
;Value 22: (3 0 0)

(xra1c 'reset)
;Value: 5

(xra2c 'reset)
;Value: 5

(stream-head (add_xreal (xra1f) (xra2f)) 4)
(xra2 1)
(xra1 1)
(xra1 2)
(xra2 2)
(xra1 3)
(xra2 3)
(xra1 4)
(xra2 4)
(xra1 5)
(xra2 5)
(xra1 6)
(xra2 6)
;Value 24: (3 0 0 0)

(xra1c 'reset)
;Value: 6

(xra2c 'reset)
;Value: 6

(stream-head (add_xreal (xra1f) (xra2f)) 5)
(xra2 1)
(xra1 1)
(xra1 2)
(xra2 2)
(xra1 3)
(xra2 3)
(xra1 4)
(xra2 4)
(xra1 5)
(xra2 5)
(xra1 6)
(xra2 6)
(xra1 7)
(xra2 7)
;Value 26: (3 0 0 0 0)

(xra1c 'reset)
;Value: 7

(xra2c 'reset)
;Value: 7

(stream-head (mult_xreal (xra1f) (xra2f)) 1)
(xra2 1)
(xra1 1)
(xra2 2)
(xra1 2)
(xra2 3)
(xra1 3)
(xra1 4)
(xra2 4)
(xra1 5)
(xra1 6)
(xra2 5)
(xra1 7)
(xra1 8)
;Value 27: (2)

(xra1c 'reset)
;Value: 8

(xra2c 'reset)
;Value: 5

(stream-head (mult_xreal (xra1f) (xra2f)) 2)
(xra2 1)
(xra1 1)
(xra2 2)
(xra1 2)
(xra2 3)
(xra1 3)
(xra1 4)
(xra2 4)
(xra1 5)
(xra1 6)
(xra2 5)
(xra1 7)
(xra1 8)
(xra2 6)
(xra1 9)
(xra1 10)
;Value 29: (2 1)

(xra1c 'reset)
;Value: 10

(xra2c 'reset)
;Value: 6

(stream-head (mult_xreal (xra1f) (xra2f)) 3)
(xra2 1)
(xra1 1)
(xra2 2)
(xra1 2)
(xra2 3)
(xra1 3)
(xra1 4)
(xra2 4)
(xra1 5)
(xra1 6)
(xra2 5)
(xra1 7)
(xra1 8)
(xra2 6)
(xra1 9)
(xra1 10)
(xra2 7)
(xra1 11)
(xra1 12)
;Value 30: (2 1 -1)

(xra1c 'reset)
;Value: 12

(xra2c 'reset)
;Value: 7

(stream-head (mult_xreal (xra1f) (xra2f)) 4)
(xra2 1)
(xra1 1)
(xra2 2)
(xra1 2)
(xra2 3)
(xra1 3)
(xra1 4)
(xra2 4)
(xra1 5)
(xra1 6)
(xra2 5)
(xra1 7)
(xra1 8)
(xra2 6)
(xra1 9)
(xra1 10)
(xra2 7)
(xra1 11)
(xra1 12)
(xra2 8)
(xra1 13)
(xra1 14)
;Value 31: (2 1 -1 1)

(xra1c 'reset)
;Value: 14

(xra2c 'reset)
;Value: 8

(stream-head (mult_xreal (xra1f) (xra2f)) 5)
(xra2 1)
(xra1 1)
(xra2 2)
(xra1 2)
(xra2 3)
(xra1 3)
(xra1 4)
(xra2 4)
(xra1 5)
(xra1 6)
(xra2 5)
(xra1 7)
(xra1 8)
(xra2 6)
(xra1 9)
(xra1 10)
(xra2 7)
(xra1 11)
(xra1 12)
(xra2 8)
(xra1 13)
(xra1 14)
(xra2 9)
(xra1 15)
(xra1 16)
;Value 32: (2 1 -1 1 -1)

(xra1c 'reset)
;Value: 16

(xra2c 'reset)
;Value: 9

(xra1c 'produce)
(xra1 1)
;Value: 1

(stream-head (mult_xreal (cons-stream 10 (xra1f)) (xra2f)) 1)
(xra2 1)
(xra2 2)
(xra1 2)
(xra2 3)
(xra2 4)
(xra1 3)
(xra1 4)
(xra2 5)
(xra1 5)
(xra1 6)
(xra2 6)
(xra1 7)
(xra1 8)
(xra2 7)
(xra1 9)
(xra1 10)
;Value 33: (16)

(xra1c 'reset)
;Value: 10

(xra2c 'reset)
;Value: 7

(xra1c 'produce)
(xra1 1)
;Value: 1

(stream-head (mult_xreal (cons-stream 10 (xra1f)) (xra2f)) 2)
(xra2 1)
(xra2 2)
(xra1 2)
(xra2 3)
(xra2 4)
(xra1 3)
(xra1 4)
(xra2 5)
(xra1 5)
(xra1 6)
(xra2 6)
(xra1 7)
(xra1 8)
(xra2 7)
(xra1 9)
(xra1 10)
(xra2 8)
(xra1 11)
(xra1 12)
;Value 34: (16 -1)

(xra1c 'reset)
;Value: 12

(xra2c 'reset)
;Value: 8

(xra1c 'produce)
(xra1 1)
;Value: 1

(stream-head (mult_xreal (cons-stream 10 (xra1f)) (xra2f)) 3)
(xra2 1)
(xra2 2)
(xra1 2)
(xra2 3)
(xra2 4)
(xra1 3)
(xra1 4)
(xra2 5)
(xra1 5)
(xra1 6)
(xra2 6)
(xra1 7)
(xra1 8)
(xra2 7)
(xra1 9)
(xra1 10)
(xra2 8)
(xra1 11)
(xra1 12)
(xra2 9)
(xra1 13)
(xra1 14)
;Value 36: (16 -1 1)

(xra1c 'reset)
;Value: 14

(xra2c 'reset)
;Value: 9

(xra1c 'produce)
(xra1 1)
;Value: 1

(stream-head (mult_xreal (cons-stream 10 (xra1f)) (xra2f)) 4)
(xra2 1)
(xra2 2)
(xra1 2)
(xra2 3)
(xra2 4)
(xra1 3)
(xra1 4)
(xra2 5)
(xra1 5)
(xra1 6)
(xra2 6)
(xra1 7)
(xra1 8)
(xra2 7)
(xra1 9)
(xra1 10)
(xra2 8)
(xra1 11)
(xra1 12)
(xra2 9)
(xra1 13)
(xra1 14)
(xra2 10)
(xra1 15)
(xra1 16)
;Value 37: (16 -1 1 -1)

(xra1c 'reset)
;Value: 16

(xra2c 'reset)
;Value: 10

(xra1c 'produce)
(xra1 1)
;Value: 1

(stream-head (mult_xreal (cons-stream 10 (xra1f)) (xra2f)) 5)
(xra2 1)
(xra2 2)
(xra1 2)
(xra2 3)
(xra2 4)
(xra1 3)
(xra1 4)
(xra2 5)
(xra1 5)
(xra1 6)
(xra2 6)
(xra1 7)
(xra1 8)
(xra2 7)
(xra1 9)
(xra1 10)
(xra2 8)
(xra1 11)
(xra1 12)
(xra2 9)
(xra1 13)
(xra1 14)
(xra2 10)
(xra1 15)
(xra1 16)
(xra2 11)
(xra1 17)
(xra1 18)
;Value 39: (16 -1 1 -1 1)

(xra1c 'reset)
;Value: 18

(xra2c 'reset)
;Value: 11

(xra1c 'produce)
(xra1 1)
;Value: 1

(stream-head (mult_xreal (cons-stream 10000 (xra1f)) (xra2f)) 1)
(xra2 1)
(xra2 2)
(xra1 2)
(xra2 3)
(xra2 4)
(xra2 5)
(xra2 6)
(xra2 7)
(xra1 3)
(xra1 4)
(xra2 8)
(xra1 5)
(xra1 6)
(xra2 9)
(xra1 7)
(xra1 8)
(xra2 10)
(xra1 9)
(xra1 10)
(xra2 11)
(xra1 11)
(xra1 12)
(xra2 12)
(xra1 13)
(xra1 14)
(xra2 13)
(xra1 15)
(xra1 16)
;Value 40: (15001)

(xra1c 'reset)
;Value: 16

(xra2c 'reset)
;Value: 13

(xra1c 'produce)
(xra1 1)
;Value: 1

(define xra3c (make_one_with_count "xra3"))
;Value: xra3c

(define (xra3f) (cons-stream (xra1c 'produce) (xra3f)))
;Value: xra3f

(stream-head (mult_xreal (xra3f) (mult_xreal (cons-stream 10000 (xra1f)) (xra2f))) 5)
(xra2 1)
(xra2 2)
(xra1 2)
(xra2 3)
(xra2 4)
(xra2 5)
(xra2 6)
(xra2 7)
(xra1 3)
(xra1 4)
(xra2 8)
(xra1 5)
(xra1 6)
(xra2 9)
(xra1 7)
(xra1 8)
(xra2 10)
(xra1 9)
(xra1 10)
(xra2 11)
(xra1 11)
(xra1 12)
(xra2 12)
(xra1 13)
(xra1 14)
(xra2 13)
(xra1 15)
(xra1 16)
(xra1 17)
(xra1 18)
(xra1 19)
(xra1 20)
(xra1 21)
(xra1 22)
(xra1 23)
(xra1 24)
(xra1 25)
(xra1 26)
(xra1 27)
(xra1 28)
(xra1 29)
(xra1 30)
(xra1 31)
(xra1 32)
(xra1 33)
(xra1 34)
(xra2 14)
(xra1 35)
(xra1 36)
(xra1 37)
(xra1 38)
(xra2 15)
(xra1 39)
(xra1 40)
(xra1 41)
(xra1 42)
(xra2 16)
(xra1 43)
(xra1 44)
(xra1 45)
(xra1 46)
(xra2 17)
(xra1 47)
(xra1 48)
(xra1 49)
(xra1 50)
(xra2 18)
(xra1 51)
(xra1 52)
(xra1 53)
(xra1 54)
(xra2 19)
(xra1 55)
(xra1 56)
(xra1 57)
(xra1 58)
(xra2 20)
(xra1 59)
(xra1 60)
(xra1 61)
(xra1 62)
;Value 41: (22501 0 1 0 1)

(xra1c 'reset)
;Value: 62

(xra2c 'reset)
;Value: 20

(xra1c 'produce)
(xra1 1)
;Value: 1

(define xra3c (make_one_with_count "xra3"))
;Value: xra3c

(define (xra3f) (cons-stream (xra3c 'produce) (xra3f)))
;Value: xra3f

(stream-head (mult_xreal (xra3f) (mult_xreal (cons-stream 10000 (xra1f)) (xra2f))) 5)

(xra2 1)
(xra2 2)
(xra1 2)
(xra2 3)
(xra2 4)
(xra2 5)
(xra2 6)
(xra2 7)
(xra1 3)
(xra1 4)
(xra2 8)
(xra1 5)
(xra1 6)
(xra2 9)
(xra1 7)
(xra1 8)
(xra2 10)
(xra1 9)
(xra1 10)
(xra2 11)
(xra1 11)
(xra1 12)
(xra2 12)
(xra1 13)
(xra1 14)
(xra2 13)
(xra1 15)
(xra1 16)
(xra3 1)
(xra3 2)
(xra3 3)
(xra3 4)
(xra3 5)
(xra3 6)
(xra3 7)
(xra3 8)
(xra3 9)
(xra3 10)
(xra3 11)
(xra3 12)
(xra3 13)
(xra3 14)
(xra3 15)
(xra3 16)
(xra3 17)
(xra3 18)
(xra2 14)
(xra1 17)
(xra1 18)
(xra3 19)
(xra3 20)
(xra2 15)
(xra1 19)
(xra1 20)
(xra3 21)
(xra3 22)
(xra2 16)
(xra1 21)
(xra1 22)
(xra3 23)
(xra3 24)(xra2 17)
(xra1 23)
(xra1 24)
(xra3 25)
(xra3 26)
(xra2 18)
(xra1 25)
(xra1 26)
(xra3 27)
(xra3 28)
(xra2 19)
(xra1 27)
(xra1 28)
(xra3 29)
(xra3 30)
(xra2 20)
(xra1 29)
(xra1 30)
(xra3 31)
(xra3 32)
;Value 42: (22501 0 1 0 1)