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

的语法在(x,类型)表示条件是x是指定的类型．表示条件是x的类型是真正的．

Syms x cond = in(x，'real')

Cond = in(x， 'real')

使用以下方法评估条件总．因为总不能确定条件，它发出警告并返回逻辑0（假)．

总(电导率)

警告:无法证明'in(x， 'real')'。逻辑0

假设的条件气孔导度是正确的使用假设，并再次评估病情。的总函数返回逻辑1（真正的)表示条件为真。

总以为(电导率)(电导率)

逻辑1

使用x在进一步的计算中，清除它的假设重新使用信谊．

信谊x

输出中表示条件

等功能解决使用在在输出中表示条件。

解方程sin (x) = = 0使用解决．设置选项ReturnConditions来真正的返回解决方案的条件。的解决函数使用在表达条件。

syms x [solx, params, conds] = solve(sin(x) == 0，'ReturnConditions'，true)

params = k conds = in(k， 'integer')

解决方案是π* k与参数k条件下(k,“整数”)．您可以使用这个条件为进一步的计算设置一个假设。在假设下,解决的整数值k．

设(conds) k = solve(solx > 0, solx < 5*pi, params)

4 . n .结，节，节

求这些值对应的解金宝搏官方网站k,使用潜艇来代替k在solx．

潜艇(solx k)

Ans = 2* 3* 4*

澄清假设k在进一步的计算中使用它。

假设(params,“明确的”)

检验符号矩阵元素是否有理

创建符号矩阵米．

syms x y z M = sym([1.22 i x;罪(y) 3 * x 0;正sqrt(3)对称(22/7))

M = [61/50, 1, x][罪(y), 3 * x, 0][正3 ^ (1/2),22/7)

使用总测试元素是否米是理性的数字。的在函数作用于米中的元素。请注意,总返回逻辑0（假)，并对这些语句发出警告。

(M,“理性”)

ans =[(61/50,“理性的”),在(1我,“理性的”),在(x,“理性”)][在(罪(y),“理性的”),在(3 * x,“理性的”),在(0,“理性”)][(正,“理性的”),在(3 ^(1/2),“理性的”),在(22/7,“理性”)]

总((M,“理性”))

警告:无法证明'in(sin(y)， 'rational')'。Warning: Unable to prove 'in(3*x， 'rational')'。警告:无法证明'in(x， 'rational')'。Ans = 3×3 logical array 1 0 0 0 1 0 0 1