matlab - 检查符号计算

Question

我必须做一些计算，其中出现长公式，主要涉及具有可变系数的多项式的导数。

不幸的是，我从 Mathematica 或 Maple 等引擎获得的结果以一种与我需要的方式非常不同的方式表示，并且将结果重新排列成理想的形式需要太长时间(更不用说重新引入错误的风险).

因此我想知道是否有某种方法可以代替自己进行计算，然后检查结果——即某种“方程式检查器”:

我在 d/dx f(x) = g(x) 中输入我提供的两边，系统会评估它是真还是假。

Answer 1

我会查看 sym/isequaln。它是 isequaln 的重载版本用于比较符号表达式。例如:

syms x
f(x) = 3*x^3-2*ln(x);
g(x) = 9*x^2 - 2/x;
isequaln(f,g)

ans =
    0

isequaln(diff(f), g)

ans = 
    1

参见 MathWorks documentation功能上。这非常方便。