PasteRack.org
Paste # 19859
2014-08-26 13:49:57

Fork as a new paste.

Paste viewed 62 times.


Embed:

  1. #lang racket
  2. (require racket/control)
  3.  
  4. (struct interval (l u) #:transparent)
  5.  
  6. (reset (+ (shift k (interval (k 1) (k 2))) (shift k (interval (k 1) (k 2)))))
  7. (reset (- (shift k (interval (k 1) (k 2))) (shift k (interval (k 1) (k 2)))))
  8. (reset (* (shift k (interval (k 1) (k 2))) (shift k (interval (k 1) (k 2)))))
  9. (reset (/ (shift k (interval (k 1) (k 2))) (shift k (interval (k 1) (k 2)))))
  10.  
  11.  
  12. #|
  13. (interval (interval 2 3) (interval 3 4))
  14. (interval (interval 0 -1) (interval 1 0))
  15. (interval (interval 1 2) (interval 2 4))
  16. (interval (interval 1 1/2) (interval 2 1))
  17. |#

=>

(interval (interval 2 3) (interval 3 4))

(interval (interval 0 -1) (interval 1 0))

(interval (interval 1 2) (interval 2 4))

(interval (interval 1 1/2) (interval 2 1))