EXPR=a*z*X+(b*x^2+k)*Y;
（2）
findsym(EXPR)
ans =
X, Y, a, b, c, delta, theta, x, y
（3）
findsym(EXPR,1)
ans =
x
（4）
findsym(EXPR,2),findsym(EXPR,3)
ans =
x,y
ans =
x,y,theta
5.2
5.2.1
【例5.2.1-1】按不同的方式合并同幂项。
EXPR=sym('(x^2+x*exp(-t)+1)*(x+exp(-t))');
expr1=collect(EXPR)
expr2=collect(EXPR,'exp(-t)')
expr1 =
x^3+2*exp(-t)*x^2+(1+exp(-t)^2)*x+exp(-t)
（2）
fg2=compose(f,g,u,fai,t)
fg2 =
x/(cos(y+t)^2+1)
5.2.3
5.2.3.1
【例5.2.3.1-1】演示子表达式的置换表示。
clear all,syms a b c d W;[V,D]=eig([a b;c d]);
[RVD,W]=subexpr([V;D],W)%<2>
第五章
符号计算的特点：一，运算以推理解析的方式进行，因此不受计算误差积累问题困扰；二，符号计算，或给出完全正确的封闭解，或给出任意精度的数值解（当封闭解不存在时）；三，符号计算指令的调用比较简单，经典教科书公式相近；四，计算所需时间较长，有时难以忍受。
在MATLAB中，符号计算虽以数值计算的补充身份出现，但涉及符号计算的指令使用、运算符操作、计算结果可视化、程序编制以及在线帮助系统都是十分完整、便捷的。
EA =
[ 1/2*a11+1/2*a22+1/2*(a11^2-2*a11*a22+a22^2+4*a12*a21)^(1/2)]
[ 1/2*a11+1/2*a22-1/2*(a11^2-2*a11*a22+a22^2+4*a12*a21)^(1/2)]
【例5.1.1-6】验证积分 。
syms A t tao w;yf=int(A*exp(-i*w*t),t,-tao/2,tao/2);Yf=simple(yf)
[ c, d]
（2）
SizeMn=size(Mn),SizeMc=size(Mc),SizeMs=size(Ms)
SizeMn =
2 2
SizeMc =
1 9
SizeMs =
2 2
（3）
CMn=class(Mn),CMc=class(Mc),CMs=class(Ms)
CMn =
double
CMc =
a4=sym('[1/3,pi/7,sqrt(5),pi+sqrt(5)]')%<4>
a24=a2-a4
a1 =
0.3333 0.4488 2.2361 5.3777
a2 =
[ 1/3, pi/7, sqrt(5), 6054707603575008*2^(-50)]
a3 =
[ 1/3-eps/12, pi/7-13*eps/165, sqrt(5)+137*eps/280, 6054707603575008*2^(-50)]
MATLAB的升级和符号计算内核Maple的升级，决定着符号计算工具包的升级。但从用户使用角度看，这些升级所引起的变化相当细微。即使这样，本章还是及时作了相应的更新和说明。如MATLAB 6.5+版开始启用MapleVIII的计算引擎，从而克服了MapleV计算“广义Fourier变换”时的错误（详见第5.4.1节）。
syms x;ff=cos(x)+sqrt(-sin(x)^2);
ssfy1=simplify(ff),ssfy2=simplify(ssfy1)
ssfy1 =
cos(x)+(-sin(x)^2)^(1/2)
ssfy2 =
cos(x)+(-sin(x)^2)^(1/2)
gg1=simple(ff),gg2=simple(gg1)
Yf =
2*A*sin(1/2*tao*w)/w
5.1.2
5.1.3
【例5.1.3-1】数据对象及其识别指令的使用。
（1）
clear,a=1;b=2;c=3;d=4;
Mn=[a,b;c,d]
Mc='[a,b;c,d]'
Ms=sym(Mc)
Mn =
1 2
3 4
Mc =
[a,b;c,d]
Ms =
[ a, b]
g =
x^(1/2)
fg=simple(compose(g,f))%验算g(f(x))是否等于x
fg =
x
【例5.2.2-2】求 的复合函数
（1）
syms x y u fai t;f=x/(1+u^2);g=cos(y+fai);fg1=compose(f,g)
fg1 =
cos(y+fai)/(1+u^2)
ans =
(x-a)*(x+a)
（3）
factor(1025)
ans =
5 5 41
【例5.2.1-3】对多项式进行嵌套型分解
clear;syms a x;f1=x^4-5*x^3+5*x^2+5*x-6;horner(f1)
ans =
-6+(5+(5+(-5+x)*x)*x)*x
【例5.2.1-4】写出矩阵 各元素的分子、分母多项式
f3 =
6.7321
（5）
f4=subs(subs(f,a,2),x,0:pi/6:pi)%<5>
f4 =
5.0000 6.0000 6.7321 7.0000 6.7321 6.0000 5.0000
（6）
f5=subs(f,{a,x},{0:6,0:pi/6:pi})ቤተ መጻሕፍቲ ባይዱ<6>
f5 =
5.0000 5.5000 6.7321 8.0000 8.4641 7.5000 5.0000
char
CMs =
sym
（4）
isa(Mn,'double'),isa(Mc,'char'),isa(Ms,'sym')
ans =
1
ans =
1
ans =
1
（5）
whos Mn Mc Ms
Name Size Bytes Class
Mc 1x9 18 char array
Mn 2x2 32 double array
（1）
syms x;A=[3/2,(x^2+3)/(2*x-1)+3*x/(x-1);4/x^2,3*x+4];
[n,d]=numden(A)
pretty(simplify(A))%<3>
n =
[ 3, x^3+5*x^2-3]
[ 4, 3*x+4]
d =
[ 2, (2*x-1)*(x-1)]
[ x^2, 1]
gg1 =
cos(x)+i*sin(x)
gg2 =
exp(i*x)
5.2.2
【例5.2.2-1】求 的反函数
syms x;f=x^2;g=finverse(f)
Warning: finverse(x^2) is not unique.
> In D:\MATLAB6P5\toolbox\symbolic\@sym\finverse.m at line 43
a2=sym('[1/3,0.2+sqrt(2),pi]')%<2>
a3=sym('[1/3 0.2+sqrt(2) pi]')%<3>
a1_a2=a1-a2%
a1 =
[ 1/3, 7269771597999872*2^(-52), pi]
a2 =
[ 1/3, 0.2+sqrt(2), pi]
a3 =
expr2 =
x*exp(-t)^2+(2*x^2+1)*exp(-t)+(x^2+1)*x
【例5.2.1-2】factor指令的使用
（1）
syms a x;f1=x^4-5*x^3+5*x^2+5*x-6;factor(f1)
ans =
(x-1)*(x-2)*(x-3)*(x+1)
（2）
f2=x^2-a^2;factor(f2)
RVD =
[ -(1/2*d-1/2*a-1/2*W)/c, -(1/2*d-1/2*a+1/2*W)/c]
[ 1, 1]
[ 1/2*d+1/2*a+1/2*W, 0]
[ 0, 1/2*d+1/2*a-1/2*W]
W =
(d^2-2*a*d+a^2+4*b*c)^(1/2)
5.2.3.2
【例5.2.3.2-1】用简单算例演示subs的置换规则。
Ms 2x2 408 sym object
Grand total is 21 elements using 458 bytes