主要内容

认为

在符号对象上设置假设

描述

例子

认为(状况说明状况已验证。认为不是添加剂。相反,它会自动删除变量上的所有先前假设状况

例子

认为(expr.说明expr.属于认为删除以前的变量假设expr.

例子

认为(expr.,'清除')清除所有变量的所有假设expr.

例子

常见的假设

使用关联语法设置假设。

假设'x'是 句法
真实的 假设(x,'真实')
合理的 假设(x,'Rational')
积极的 假设(x,'正面')
正整数 假设(x,{'sorfor','Integer'})
小于-1或大于1 假设(x <-1 | x> 1)
从2到10的整数 假设(在(x,'整数')&x> 2&x <10)
不是整数 假设(〜(z,'整数')))
不等于0 假设(x〜= 0)
甚至 假设(x / 2“整数”)
奇怪的 假设((x-1)/ 2,'整数')
从0到2π 假设(x> 0&x <2 * pi)
π的倍数 假设(x / pi,'整数')

假设变量是偶数或奇数

认为X甚至假设这一点X / 2.是一个整数。认为X假设这是奇怪的(x-1)/ 2是一个整数。

认为X甚至。

syms x假设(x / 2,'整数')

找到所有偶数之间的数字0.10.使用解决

解决(x> 0,x <10,x)
ans = 2 4 6 8

认为X是奇怪的。认为不是添加剂,而是自动删除先前的假设在(x / 2“整数”)

假设((x-1)/ 2,'整数')求解(x> 0,x <10,x)
ans = 1 3 5 7 9

清除假设X进一步计算。

假设(x,'清除'

多个假设

连续认为命令不设置多个假设。相反,每一个认为命令删除以前的假设并设置新的假设。通过使用设置多个假设假定或者操作员。

认为x> 5然后x <10通过使用认为.用假设检查仅存在第二个假设,因为认为设置第二个假设时删除了第一个假设。

syms x假设(x> 5)假设(x <10)假设
ans = x <10

假设除了第二个假设假定.检查是否存在两种假设。

Argualso(x> 5)假设
ans = [5 
               

清除假设X

假设(x,'clear')

假设两个条件使用操作员。检查是否存在两种假设。

假设(x> 5&x <10)假设
ans = [5 
               

清除假设X为了将来的计算。

假设(x,'clear')

Integrand的假设

使用符号参数上的假设计算无限的积分一种

认为设置假设一种不等于-1

syms x假设(a = -1)

计算这种积分。

int(x ^ a,x)
ans = x ^(a + 1)/(a + 1)

现在,明确假设,计算相同的积分。没有假设,int返回此分段结果。

假设(a,'clear')int(x ^ a,x)
ans =分段(a == -1,log(x),a = -1,x ^(a + 1)/(a + 1))

方程式参数和变量的假设

使用假设将等式的返回解决方案限制为特定的间隔。万博 尤文图斯

解决这个等式。

syms x eqn = x ^ 5  - (565 * x ^ 4)/ 6  - (1159 * x ^ 3)/ 2  - (2311 * x ^ 2)/ 6 +(365 * x)/ 2 + 250/3;解决(eqn,x)
ANS = -5 -1 -1/3 1/2 100

认为将解决方案限制为间隔万博 尤文图斯-1 <=X<= 1

假设(-1 <= x <= 1)求解(eqn,x)
ans = -1 -1/3 1/2

使用逻辑运算符同时设置多个假设或者XOR.不是或者他们的快捷方式。例如,所有负面解决方案少于万博 尤文图斯-1所有正面解决方案都大于万博 尤文图斯1

假设(x <-1 | x> 1)解决(eqn,x)
ans = -5 100

为了进一步计算,清除假设。

假设(x,'clear')

使用假设以简化

设置适当的假设可能会导致更简单的表达式。

尝试简化表达式罪(2 * pi * n)使用简化.这简化函数无法简化输入并按原样返回输入。

syms n简化(sin(2 * n * pi))
ans = sin(2 * pi * n)

认为N是一个整数。简化现在简化了表达式。

假设(n,“整数”)简化(sin (2 * n *π))
ans = 0.

为了进一步计算,清除假设。

假设(n,'clear')

表达式的假设

在符号表达式上设置假设。

您不仅可以在变量上设置假设,还可以在表达式上设置假设。例如,计算此积分。

syms x f = 1 / abs(x ^ 2  -  1);int(f,x)
ans = -atanh(x)/符号(x ^ 2  -  1)

设置假设X2- 1 > 0产生更简单的结果。

假设(x ^ 2  -  1> 0)int(f,x)
ans = -atanh(x)

为了进一步计算,清除假设。

假设(x,'clear')

证明关系的假设

通过首先假设条件,然后使用,证明在某些条件下保持的关系总是

证明SIN(pi * x)永远不等于0.什么时候X不是整数。这总是函数返回逻辑1真的),这意味着条件适用于所有值X在集合假设下。

syms x假设(〜(x,'整数'))iSalways(SIN(PI * x)〜= 0)
ans =逻辑1

矩阵元素的假设

使用矩阵的所有元素的假设轶事

创建2×2符号矩阵一种使用自动生成的元素。指定作为合理的

a = sym('a',[2 2],'Rational')
a = [a1_1,a1_2] [a2_1,a2_2]

返回关于元素的假设一种使用假设

假设(a)
ans = [(a1_1,'rational'),In(a1_2,'Rational'),......(a2_1,'Rational'),In(a2_2,'Rational')]

你也可以使用认为在矩阵的所有元素上设置假设。现在,假设所有元素一种具有积极的合理价值。将假设设置为字符向量的单元格{'阳性','Rational'}

假设(a,{'position','Rational'})

返回关于元素的假设一种使用假设

假设(a)
ans = [0 
               

为了进一步计算,清除假设。

假设(a,'clear')

输入参数

全部收缩

假设语句,指定为符号表达,等式,关系或符号表达式,方程或关系的矩阵。您还可以使用逻辑运算符组合多个假设或者XOR.不是或者他们的快捷方式。

表达式设置假设,指定为符号变量,表达式,向量或矩阵。如果expr.是向量还是矩阵假设(expr,set)设置每个元素的假设expr.属于

一组假设,指定为字符向量,字符串数组或单元格数组。可用的假设是'整数''合理的''真实的', 或者'积极的'

您可以通过指定字符串阵列或字符向量阵列来组合多个假设。例如,通过指定假设积极的Rational值作为[“积极”“理性”]或者{'阳性','Rational'}

尖端

  • 认为删除先前在符号变量上设置的任何假设。在添加假设时保留以前的假设,使用假定

  • 从MATLAB删除符号变量时®工作区使用清晰的,您在该变量上设置的所有假设仍保留在符号引擎中。如果稍后声明具有相同名称的新符号变量,它会继承这些假设。

  • 清除在符号变量上设置的所有假设var.,使用此命令。

    假设(var,'清除'
  • 要删除MATLAB工作空间中的所有对象并关闭与MATLAB工作空间相关的符号数学工具箱™引擎清除所有假设,请使用以下命令:

    清晰的全部
  • MATLAB将复杂数字投影到实际轴上。如果状况是不平等的,那么不等式的两侧都必须代表真正的价值。具有复杂数字的不等式无效,因为复数的字段不是有序字段。(不可能判断是否5 + I.大于或小于2 + 3 *我。) 例如,x >我成为x> 0., 和x <= 3 + 2 * i成为x <= 3

  • 工具箱不支持符号函数的假设。万博1manbetx符号变量和表达式的假设。

  • 使用时使用新的符号变量轶事Syms.,您还可以设置一个假设变量是真实的,正,整数或理性的。

    =符号('一种''真实的');b = sym('B''合理的');c = sym('C''积极的');d = sym('D''积极的');e = sym('e',{'积极的''整数'});

    或者更有效地

    Syms.一种真实的Syms.B.合理的Syms.CD.积极的Syms.E.积极的整数
在R2012A介绍