在符号对象上添加假设
假设设置使用假设
.然后使用更多的假设使用假定
.
解决这个等式假设这两者都是x
和y
是非负面的。
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')
假定
保留所有先前设置在符号变量上的假设。要用新的假设代替先前的假设,请使用假设
.
添加假设时,始终检查新的假设是否与现有的假设不相矛盾。要查看现有的假设,请使用假设
.符号数学工具箱™不保证检测冲突的假设。相互矛盾的假设可能导致不可预测和不一致的结果。
当你从MATLAB中删除一个符号变量®工作区使用清除
,您在该变量上设置的所有假设仍保留在符号引擎中。如果稍后您声明具有相同名称的新符号变量,则继承这些假设。
清除在符号变量上设置的所有假设var.
使用此命令。
假设(var,“清楚”)
要清除MATLAB工作空间中的所有对象并关闭与MATLAB工作空间关联的符号数学工具箱引擎重置其所有假设,请使用此命令。
清除全部
MATLAB将不等式中的复数投影到实轴上。如果健康)状况
是不平等的,那么不等式的两侧都必须代表真正的价值。具有复杂数字的不等式无效,因为复数的字段不是有序字段。(不可能判断是否5 + I.
是大于还是小于2 + 3 *我
.)例如,x> I.
成为x> 0.
, 和X <= 3 + 2*i
成为x <= 3
.
工具箱不支持对符号函数的假设。金宝app对符号变量和表达式进行假设。
您可以在一个函数调用中设置多个假设而不是一个接一个地添加假设。设置几个假设,使用假设
并使用逻辑运算符将这些假设结合起来和
,或者
,xor
,不
,全部
,任何
或者他们的捷径。