主要内容

数字类型的符号输入

描述

例子

在(X类型表达了逻辑条件X是指定的类型

例子

表达符号变量或表达式的条件

语法在(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

输入参数

全部收缩

输入,指定为符号编号,矢量,矩阵,多维数组,表达式或函数。

输入类型,指定为'真实的''积极的''整数', 或者'合理的'

在R2014B中介绍