LISP写的符号求导程序

Lisphk · 发表于 2016-8-29 23:07:50

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？立即注册

×

[it618postdisplay>0]

(defun D (f x)
(cond
((numberp f)
0
)
((equal f x)
1
)
((endp f)
f
)
((endp f)
f
)
((numberp (first f))
(cons 0 (D (rest f) x))
)
((equal (first f) x)
(cons 1 (D (rest f) x))
)
((equal (first f) '+)
(cons '+ (D (rest f) x))
)
((equal (first f) '-)
(cons '- (D (rest f) x))
)
((equal (first f) '*)
(sp4 '+ (sp4 '* (D (v f) x) (u f)) (sp4 '* (v f) (D (u f) x)))
)
((equal (first f) '/)
(sp4 '/ (sp4 '- (sp4 '* (D (v f) x) (u f)) (sp4 '* (v f) (D
(u f) x
)
)
) (sp4 '* (v f) (v f))
)
)
((equal (first f) 'exp)
(sp4 '* (cons 'exp (cons (u f) nil)) (D (u f) x))
)
((and
(equal (first f) 'expt)
(not (numberp (v f)))
)
(sp4 '* (sp4 '+ (sp4 '* (sp4 '* (v f) (sp4 '/ 1 (u f))) (D (u f) x))
(sp4 '* (D (v f) x) (cons 'ln (cons (u f) nil)))
) (sp4 'expt (u f) (v f))
)
)
((and
(equal (first f) 'expt)
(numberp (v f))
)
(sp4 '* (sp4 '* (v f) (sp4 'expt (u f) (1- (v f)))) (D (u f) x))
)
(T
(cons (D (first f) x) (D (rest f) x))
)
)
)

(defun D (f x) 
  (cond 
    ((numberp f) 
      0 
    ) 
    ((equal f x) 
      1 
    ) 
    ((endp f) 
      f 
    ) 
    ((endp f) 
      f 
    ) 
    ((numberp (first f)) 
      (cons 0 (D (rest f) x)) 
    ) 
    ((equal (first f) x) 
      (cons 1 (D (rest f) x)) 
    ) 
    ((equal (first f) '+) 
      (cons '+ (D (rest f) x)) 
    ) 
    ((equal (first f) '-) 
      (cons '- (D (rest f) x)) 
    ) 
    ((equal (first f) '*) 
      (sp4 '+ (sp4 '* (D (v f) x) (u f)) (sp4 '* (v f) (D (u f) x))) 
    ) 
    ((equal (first f) '/) 
      (sp4 '/ (sp4 '- (sp4 '* (D (v f) x) (u f)) (sp4 '* (v f) (D 
                                                                  (u f) x 
                                                               ) 
                                                 ) 
              ) (sp4 '* (v f) (v f)) 
      ) 
    ) 
    ((equal (first f) 'exp) 
      (sp4 '* (cons 'exp (cons (u f) nil)) (D (u f) x)) 
    ) 
    ((and 
       (equal (first f) 'expt) 
       (not (numberp (v f))) 
     ) 
      (sp4 '* (sp4 '+ (sp4 '* (sp4 '* (v f) (sp4 '/ 1 (u f))) (D (u f) x)) 
                   (sp4 '* (D (v f) x) (cons 'ln (cons (u f) nil))) 
              ) (sp4 'expt (u f) (v f)) 
      ) 
    ) 
    ((and 
       (equal (first f) 'expt) 
       (numberp (v f)) 
     ) 
      (sp4 '* (sp4 '* (v f) (sp4 'expt (u f) (1- (v f)))) (D (u f) x)) 
    ) 
    (T 
      (cons (D (first f) x) (D (rest f) x)) 
    ) 
  ) 
)

[/it618postdisplay]

冰心 · 发表于 2016-8-29 23:12:49

看看，相互操作。。。

HLCAD · 发表于 2016-8-30 08:14:53

本帖最后由 HLCAD 于 2016-8-30 08:20 编辑

学习一下什么叫“符号求导”
楼主，你还有很多子函数没有包括进去！

qq1846687144 · 发表于 2016-8-30 09:25:24

看看是什么

WhoCanSay · 发表于 2016-8-30 11:14:45

符号能求导？表达是否准确？

dycla2001 · 发表于 2016-8-31 07:07:58

学习》》》》》》》》》》》》》

桥云山 · 发表于 2016-9-1 17:53:15

什么叫符号求导

桥云山 · 发表于 2016-9-1 17:56:50

什么叫符号求导

yjch · 发表于 2016-9-2 09:36:39

不太明白，没说清楚

cable2004 · 发表于 2016-9-2 10:21:11

看看看看看看看看

yoyoho · 发表于 2016-9-2 15:46:56

我也看看看看看看看看

aeo · 发表于 2016-11-17 17:58:29

sachindkini · 发表于 2016-11-19 14:21:11

see the hidden content

cq_qg68 · 发表于 2016-11-19 20:58:07

看题目看不明白是什么意思啊。

lhdlgmz · 发表于 2017-1-9 21:47:56

学习一下什么叫“符号求导”

账号		自动登录	找回密码
密码			立即注册

[每日一码] LISP写的符号求导程序

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。