Схема потоков с сериями Тейлора - PullRequest
Новая
       11

Схема потоков с сериями Тейлора

1 голос
/ 10 января 2012

Я делал домашнюю работу, написал код и не могу найти причину, по которой он не работает. Основная идея этой части работы заключается в создании потока, который даст мне элементы ряда косинусных функций Тейлора для заданного X (угол, который я предполагаю). В любом случае, вот мой код, я был бы рад, если бы кто-то мог указать мне на причины, по которым он не работает:) 

(define (force exp) exp)
(define (s-car s) (car s))
(define (s-cdr s) (force (cdr s)))

; returns n elements of stream s as a list
(define (stream->list s n)
  (if (= n 0) 
      '()
      (cons (s-car s) (stream->list (s-cdr s) (- n 1)))))

; returns the n-th element of stream s
(define stream-ref (lambda (s n)
                     (if (= n 1)
                         (s-car s)
                         (stream-ref (s-cdr s) (- n 1)))))

; well, the name kinda gives it away :) make factorial n!
(define (factorial x)
        (cond ((= x 0) 1)
              ((= x 1) 1)
              (else (* x (factorial (- x 1))))))

; this function is actually the equation for the 
; n-th element of Taylor series of cosine
(define (tylorElementCosine x)
  (lambda (n)
     (* (/ (expt -1 n) (factorial (* 2 n))) (expt x (* 2 n)))))

; here i try to make a stream of those Taylor series elements of cosine
(define (cosineStream x)
  (define (iter n)
    (cons ((tylorElementCosine x) n)
          (lambda() ((tylorElementCosine x) (+ n 1)))))
  (iter 0))

; this definition should bind cosine
; to the stream of taylor series for cosine 10
(define cosine (cosineStream 10)) 
(stream->list cosine 10) 
; this should printi on screen the list of first 10 elements of the series

Однако это не работает, и я не знаю почему.

Я использую Dr.Scheme 4.2.5 с языком, установленным на "Основы языков программирования, 3-е издание".

1 Ответ

3 голосов
/ 10 января 2012

Так как я чувствовал себя хорошо (и ностальгировал по схеме), я на самом деле пробежался по вашему коду, чтобы найти ошибки. Из того, что я вижу, есть 2 проблемы, которые не позволяют коду работать так, как следует:

Если я правильно понимаю ваш код (force exp) должен оценить exp, однако вы возвращаете его напрямую (без оценки). Так что это, вероятно, следует определить как (define (force exp) (exp))

Вторая проблема в вашей лямбде: (lambda() ((tylorElementCosine x) (+ n 1)) ) будет оценивать следующий элемент ряда Тейлора, тогда как он должен оценивать поток. Вы, вероятно, хотите что-то вроде этого: (lambda() (iter (+ n 1)) )

Я не проверял, верен ли вывод, но с этими изменениями он хотя бы работает. Поэтому, если с кодом возникнут другие проблемы, его следует использовать в формуле.

Однако я бы предложил, чтобы в следующий раз, когда вы захотите помочь с домашним заданием, вы хотя бы сообщили нам, где именно проявляется проблема и что вы уже пытались (сообщество недовольно «вот какой-то код, пожалуйста, исправьте его для меня» вопросы).

...