SICP問題2.94
gcd の定義(教科書で定義済)
(define (gcd a b) (if (= b 0) a (gcd b (remainder a b))))
gcdの汎用演算子
(define (greatest-common-divisor x y) (apply-generic 'greatest-common-divisor x y))
scheme-number-packageへのgcdの組み込み
(define (install-scheme-number-pacakge) (define (tag x) (attach-tag 'scheme-number x)) (put 'add '(scheme-number scheme-number) (lambda (x y) (tag (+ x y)))) (put 'sub '(scheme-number scheme-number) (lambda (x y) (tag (- x y)))) (put 'mul '(scheme-number scheme-number) (lambda (x y) (tag (* x y)))) (put 'div '(scheme-number scheme-number) (lambda (x y) (tag (/ x y)))) (put 'make 'scheme-number (lambda (x) (tag x))) (put '=zero? '(scheme-number) (lambda (x) (= x 0))) (put 'negate '(scheme-number) (lambda (x) (tag (- x)))) (put 'greatest-common-divisor '(scheme-number scheme-number) (lambda (x y) (tag (gcd x y)))) 'done) (define (make-scheme-number n) ((get 'make 'scheme-number) n)) (install-scheme-number-pacakge)
polynomial-package へgcdを組み込み。div(2.91)入れると前回まで使ってた変数リスト使うヤツだと面倒臭いことになるので2.88辺りから修正
(define (install-polynomial-package) (define (make-poly variable termlist) (cons variable termlist)) (define (variable p) (car p)) (define (term-list p) (cdr p)) (define (variable? x) (symbol? x)) (define (same-variable? v1 v2) (and (variable? v1) (variable? v2) (eq? v1 v2))) (define (add-terms L1 L2) (cond ((empty-termlist? L1) L2) ((empty-termlist? L2) L1) (else (let ((t1 (first-term L1)) (t2 (first-term L2))) (cond ((> (order t1) (order t2)) (adjoin-term t1 (add-terms (rest-terms L1) L2))) ((< (order t1) (order t2)) (adjoin-term t2 (add-terms L1 (rest-terms L2)))) (else (adjoin-term (make-term (order t1) (add (coeff t1) (coeff t2))) (add-terms (rest-terms L1) (rest-terms L2))))))))) (define (mul-terms L1 L2) (if (empty-termlist? L1) (the-empty-termlist) (add-terms (mul-term-by-all-terms (first-term L1) L2) (mul-terms (rest-terms L1) L2)))) (define (mul-term-by-all-terms t1 L) (if (empty-termlist? L) (the-empty-termlist) (let ((t2 (first-term L))) (adjoin-term (make-term (add (order t1) (order t2)) (mul (coeff t1) (coeff t2))) (mul-term-by-all-terms t1 (rest-terms L)))))) (define (adjoin-term term termlist) (if (=zero? (coeff term)) termlist (cons term termlist))) (define (the-empty-termlist) '()) (define (first-term termlist) (car termlist)) (define (rest-terms termlist) (cdr termlist)) (define (empty-termlist? termlist) (null? termlist)) (define (make-term order coeff) (list order coeff)) (define (order term) (car term)) (define (coeff term) (cadr term)) (define (div-terms L1 L2) (if (empty-termlist? L1) (list (the-empty-termlist) (the-empty-termlist)) (let ((t1 (first-term L1)) (t2 (first-term L2))) (if (> (order t2) (order t1)) (list (the-empty-termlist) L1) (let ((new-c (div (coeff t1) (coeff t2))) (new-o (- (order t1) (order t2)))) (let ((rest-of-result (div-terms (add-terms L1 (negate-termlist (mul-terms (list (make-term new-o new-c)) L2))) L2) )) (list (add-terms (list (make-term new-o new-c)) (car rest-of-result)) (cadr rest-of-result)) )))))) (define (gcd-terms a b) (if (empty-termlist? b) a (gcd-terms b (remainder-terms a b)))) (define (remainder-terms a b) (cadr (div-terms a b))) (define (add-poly p1 p2) (if (same-variable? (variable p1) (variable p2)) (make-poly (variable p1) (add-terms (term-list p1) (term-list p2))) (error "Polys not in same var -- ADD-POLY" (list p1 p2)))) (define (mul-poly p1 p2) (if (same-variable? (variable p1) (variable p2)) (make-poly (variable p1) (mul-terms (term-list p1) (term-list p2))) (error "Polys not in same var -- MUL-POLY" (list p1 p2)))) (define (div-poly p1 p2) (if (same-variable? (variable p1) (variable p2)) (make-poly (variable p1) (div-terms (term-list p1) (term-list p2))) (error "Polys not in same var -- DIV-POLY" (list p1 p2)))) (define (gcd-poly p1 p2) (if (same-variable? (variable p1) (variable p2)) (make-poly (variable p1) (gcd-terms (term-list p1) (term-list p2))) (error "Polys not in same var -- GCD-POLY" (list p1 p2)))) (define (=zero-poly? L) (define (=zero-term? x) (or (empty-termlist? x) (if (=zero? (coeff (first-term x))) (=zero-term? (rest-terms x)) #f))) (=zero-term? (term-list L))) (define (negate-termlist L) (if (empty-termlist? L) L (let ((f (first-term L)) (r (rest-terms L))) (adjoin-term (make-term (order f) (negate (coeff f))) (negate-termlist r))))) (define (sub-poly x y) (add-poly x (make-poly (variable y) (negate-termlist (term-list y))))) ;; システムの他の部分とのインタフェース (define (tag p) (attach-tag 'polynomial p)) (put 'add '(polynomial polynomial) (lambda (p1 p2) (tag (add-poly p1 p2)))) (put 'mul '(polynomial polynomial) (lambda (p1 p2) (tag (mul-poly p1 p2)))) (put 'make 'polynomial (lambda (var terms) (tag (make-poly var terms)))) (put '=zero? '(polynomial) (lambda (x) (=zero-poly? x))) (put 'negate '(polynomial) (lambda (x) (tag (make-poly (variable x) (negate-termlist (term-list x)))))) (put 'sub '(polynomial polynomial) (lambda (p1 p2) (tag (sub-poly p1 p2)))) (put 'div '(polynomial polynomial) (lambda (p1 p2) (tag (div-poly p1 p2)))) (put 'greatest-common-divisor '(polynomial polynomial) (lambda (x y) (tag (gcd-poly x y)))) 'done) (install-polynomial-package) (define (make-polynomial var terms) ((get 'make 'polynomial) var terms))
rational-package make-ratへgcd組み込み
(define (install-rational-package) ;; 内部手続き (define (numer x) (car x)) (define (denom x) (cdr x)) (define (make-rat n d) (let ((g (greatest-common-divisor n d))) (cons (/ n g) (/ d g)))) ; (define (make-rat n d) ; (cons n d)) (define (add-rat x y) (make-rat (add (mul (numer x) (denom y)) (mul (numer y) (denom x))) (mul (denom x) (denom y)))) (define (sub-rat x y) (make-rat (sub (mul (numer x) (denom y)) (mul (numer y) (denom x))) (mul (denom x) (denom y)))) (define (mul-rat x y) (make-rat (mul (numer x) (numer y)) (mul (denom x) (denom y)))) (define (div-rat x y) (make-rat (mul (numer x) (denom y)) (mul (denom x) (numer y)))) (define (equ-rat x y) (= (mul (numer x) (denom y)) (mul (numer y) (denom x)))) (define (=zero-rat x) (and (=zero? (numer x)) (not (=zero? (denom x))))) (define (negate-rat x) (make-rat (- (numer x)) (denom x))) ;; システムの他の部分へのインタフェース (define (tag x) (attach-tag 'rational x)) (put 'add '(rational rational) (lambda (x y) (tag (add-rat x y)))) (put 'sub '(rational rational) (lambda (x y) (tag (sub-rat x y)))) (put 'mul '(rational rational) (lambda (x y) (tag (mul-rat x y)))) (put 'div '(rational rational) (lambda (x y) (tag (div-rat x y)))) (put 'equ? '(rational rational) (lambda (x y) (equ-rat x y))) (put '=zero? '(rational) (lambda (x) (=zero-rat x))) (put 'make 'rational (lambda (n d) (tag (make-rat n d)))) (put 'negate '(rational) (lambda (x) (tag (negate-rat x)))) 'done) (define (make-rational n d) ((get 'make 'rational) n d)) (install-rational-package)
テスト
(define p1 (make-polynomial 'x '((4 1) (3 -1) (2 -2) (1 2)))) ; p1 (define p2 (make-polynomial 'x '((3 1) (1 -1)))) : p2 p1 ; (polynomial x (4 1) (3 -1) (2 -2) (1 2)) p2 ; (polynomial x (3 1) (1 -1)) (greatest-common-divisor p1 p2) ; (polynomial x (2 -1) (1 1))
なのでGCDは
でOK