主要内容

assumeAlso

增加对象征对象的假设

描述

例子

assumeAlso (条件条件是有效的所有符号变量条件.它保留了之前在这些符号变量上设置的所有假设。

例子

assumeAlso (exprexpr属于,以及之前所有的假设。

例子

指定为关系的假设

使用假设.然后添加更多的假设使用assumeAlso

解这个方程假设xy是负的。

Syms x y假设(x >= 0 & y >= 0) s = solve(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.要添加一个新的假设而不删除之前的假设,使用assumeAlso

假设(x < 1)

在展开的假设集下解相同的方程。

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

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

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

指定为集合的假设

使用信谊.然后添加更多的假设使用assumeAlso

在声明符号变量时n,设置一个假设为n是正的。

符号n阳性

使用assumeAlso,在同一个变量上增加更多的假设n.例如,假设n整数形式。

assumeAlso (n,“整数”)

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

假设(n)
Ans = [0 < n, in(n, 'integer')]

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

假设(n,“明确的”)

关于矩阵元素的假设

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

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

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

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

(A > 1)

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

假设(一)
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,“理性”)]

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

假设(一个“明确的”)

这与假设

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

试着设定相互矛盾的假设。assumeAlso返回一个错误。

信谊y假设(y,“真实”的(y == i)
使用mupadengine/feval时出现错误(第172行)。错误在sym/assumeAlso(第627行)feval(symengine, 'assumeAlso', cond);

assumeAlso不能保证检测到相互矛盾的假设。例如,假设y是非零的,两者都是yy *我都是真正的价值。

syms y assume(y ~= 0) assumeAlso(y,'real')

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

假设(y)
Ans = [in(y, 'real'), in(y*1i, 'real'), y ~= 0]

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

假设(y,“明确的”)

输入参数

全部折叠

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

设置假设的表达式,指定为符号变量、表达式、符号变量或表达式的向量或矩阵。如果expr那么是向量还是矩阵呢assumeAlso (expr集)的每个元素设置一个假设expr属于

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

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

提示

  • assumeAlso保持先前在符号变量上设置的所有假设。要用新的假设替换以前的假设,请使用假设

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

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

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

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

    清晰的所有
  • MATLAB将不等式中的复数投影到实轴上。如果条件是一种不平等,那么不平等的双方必须代表真正的价值。复数不等式无效,因为复数域不是有序域。(无法判断是否5 + I大于还是小于2 + 3*i)。例如,X > I就变成了X > 0,X <= 3 + 2*i就变成了X <= 3

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

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

在R2012a中引入