构造偏导,不要和执行混淆[#101]

◆:partial只构造待计算的偏导项。它不会执行求导:

∂∂x(x3+a×x×y)

(partial (+ (^ (var x) (num "3")) (* (var a) (* (var x) (var y)))) (var x))

要执行偏导,调用pipeline:

a×y+3x2

输出对应3*x² + a*y。math-partial的坐标参数和被求导表达式都是Semantic值;空间与参数作为假设提供。对y或z求偏导会分别得到a*x和0。