数字类型的符号输入
语法在(x,类型)
表达了这种情况X
是指定的类型
。表达这个条件X
是类型真实的
。
Syms x Cond = In(x,'真实')
Cond = In(x,'real')
使用方法评估总是
。因为总是
无法确定条件,它发出警告并返回逻辑0.
(错误的
)。
Isalways(Cond)
警告:无法证明'(x,'真实')'。ans =逻辑0
假设条件条件
是真的使用认为
,再次评估病情。这总是
函数返回逻辑1
(真的
)表明条件是真的。
假设(Cond)Isalways(Cond)
ans =逻辑1
使用X
在进一步的计算中,清除其假设使用它使用Syms.
。
Syms X.
函数如解决
用在
在输出到表达条件。
解决方程sin(x)== 0
使用解决
。设置选项returnconditions.
到真的
返回解决方案的条件。这解决
功能使用在
表达条件。
syms x [solx,params,conds] =解决(sin(x)== 0,'returnconitions',true)
solx = pi * k params = k conds = In(k,'整数')
解决方案是pi * k
有参数K.
在条件下在(k,'整数')
。您可以使用此条件为进一步计算设置假设。在假设下,解决
只返回整数值K.
。
假设(Conds)k =求解(solx> 0,solx <5 * pi,params)
k = 1 2 3 4
找到对应于这些值的解决方万博 尤文图斯案K.
, 用subs
替代K.
在solx.
。
潜艇(SOLX,K)
ans = pi 2 * pi 3 * pi 4 * pi
清除假设K.
在进一步计算中使用它。
假设(Params,'Clear')
创建符号矩阵m
。
syms x y z m = sym([1.22 i x; sin(y)3 * x 0; inf sqrt(3)sym(22/7)])
m = [61/50,1i,x] [sin(y),3 * x,0] [inf,3 ^(1/2),22/7]
用总是
测试是否有关m
是合理的数字。这在
功能行事m
逐个元素。注意总是
返回逻辑0.
(错误的
)对于无法决定并对这些陈述发出警告的陈述。
在(m,'Rational')
ANS = [IN(61/50,'Rational'),(1I,'Rational'),IN(x,'Rational')] [(sin(y),'Rational'),(3 * x,'Rational'),In(0,'Rational')] [(Inf,'Rational'),In(3 ^(1/2),'Rational'),(22/7,'Rational')]
Isalways((m,'Rational'))))
警告:无法证明'(sin(y),'Rational')'。警告:无法证明'(3 * x,'Rational')'。警告:无法证明'(x,'rational')'。ans = 3×3逻辑阵列1 0 0 0 0 1 0 0 1