主要内容

假定

在符号对象上添加假设

描述

例子

争取(健康)状况)健康)状况中的所有符号变量是否有效健康)状况.它保留了之前设置在这些符号变量上的所有假设。

例子

争取(expr.)expr.属于,以及之前所有的假设。

例子

指定为关系的假设

假设设置使用假设.然后使用更多的假设使用假定

解决这个等式假设这两者都是xy是非负面的。

syms x y假设(x> = 0&y> = 0)s =求解(x ^ 2 + y ^ 2 == 1,y)
警告:解在以下条件金宝搏官方网站下是有效的:x <= 1;x = = 1。要在解决方案中包含参数和条件,请将'ReturnConditions'值指定为'true'。在解决> > warnIfParams(第482行)在解决(第357行)s = (1 - x) ^ (1/2) * (x + 1) ^ (1/2) - (1 - x) ^ (1/2) * (x + 1) ^ (1/2)

求解器警告说,这两个解只在某些条件下成立。金宝搏官方网站

添加假设x < 1.要添加一个新的假设而不删除之前的假设,请使用假定

Argualso(x <1)

在扩展的假设下解决与相同的等式。

解(x^2 + y^2 = 1, y)
S = (1 - x)^(1/2)*(x + 1)^(1/2)

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

假设([x y],“明确的”)

假设指定为集

假设设置使用信谊.然后使用更多的假设使用假定

当声明符号变量时n,设定一个假设n是正的。

信谊n积极

使用假定,在同一变量上添加更多假设n.例如,也是如此n是一个整数。

AccorAlmso(n,'整数')

返回所有影响变量的假设n使用假设.在这种情况下,n为正整数。

假设(n)
ans = [0 
              

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

假设(n,“明确的”)

矩阵元素的假设

使用矩阵上的假设作为在每个矩阵元素上设置相同假设的捷径。

创建3 × 3的符号矩阵一个使用自动生成的元素。假设每个元素一个是合理的,指定作为'合理的'

A = sym('A',[3 3],'rational')
= [A1_1、A1_2 A1_3] [A2_1、A2_2 A2_3] [A3_1、A3_2 A3_3]

现在,假设每个元素一个大于1。

assumeAlso (> 1)

返回影响元素的假设一个使用假设

假设(a)
ans = [1 < A1_1 1 < A1_2 1 < A1_3 1 < A2_1 1 < A2_2 1 < A2_3,……1 < a3_1, 1 < a3_2, 1 < a3_3,…(A1_1,“理性的”),在(A1_2,“理性的”),在(A1_3,“理性”),…(A2_1,“理性的”),在(A2_2,“理性的”),在(A2_3,“理性”),…(A3_1,“理性的”),在(A3_2,“理性的”),在(A3_3,“理性”)]

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

假设(一个“明确的”)

矛盾的假设

添加假设时,请确保新的假设与以前的假设不相矛盾。与矛盾的假设可能导致不一致和不可预测的结果。在某些情况下,假定检测相互冲突的假设并发出错误。

尝试设置矛盾的假设。假定返回一个错误。

信谊y假设(y,'真实的'假设y == i
使用mupadengine/feval时出错(第172行)。在sym/ asummealso(第627行)中出错

假定并不能保证发现矛盾的假设。例如,假设y是非零,两者都是y是真正的价值观。

ysms y假设(y〜= 0)验证(y,'真实')ArgualeAlso(Y * I,'Real')

返回所有影响变量的假设y使用假设

假设(y)
ans = [(y,'real'),在(y * 1i,'real')中,y〜= 0]

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

假设(y,'clear')

输入参数

全部收缩

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

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

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

您可以通过指定字符向量的字符串数组或单元格数组来组合多个假设。例如,通过指定假定一个正有理值作为[“积极”“理性”]或者{"正面",“理性”}

提示

  • 假定保留所有先前设置在符号变量上的假设。要用新的假设代替先前的假设,请使用假设

  • 添加假设时,始终检查新的假设是否与现有的假设不相矛盾。要查看现有的假设,请使用假设.符号数学工具箱™不保证检测冲突的假设。相互矛盾的假设可能导致不可预测和不一致的结果。

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

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

    假设(var,“清楚”)
  • 要清除MATLAB工作空间中的所有对象并关闭与MATLAB工作空间关联的符号数学工具箱引擎重置其所有假设,请使用此命令。

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

  • 工具箱不支持对符号函数的假设。金宝app对符号变量和表达式进行假设。

  • 您可以在一个函数调用中设置多个假设而不是一个接一个地添加假设。设置几个假设,使用假设并使用逻辑运算符将这些假设结合起来或者xor全部任何或者他们的捷径。

在R2012A介绍