主要内容

assumeAlso

在符号对象上添加假设

描述

例子

assumeAlso (条件)声明条件对于中的所有符号变量都有效条件. 它保留了以前对这些符号变量设置的所有假设。

例子

assumeAlso (expr,设置)声明expr属于设置,以及所有先前作出的假设。

例子

指定为关系的假设

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

解这个方程,假设两者xY是负的。

Syms x y假设(x >= 0 & y >= 0) s =解(x^2 + y^2 = 1, y)
警告:解决方案在以万博 尤文图斯下条件下有效:x<=1;x==1。要在解决方案中包括参数和条件,请将“ReturnConditions”值指定为“true”。>在solve>warnIfParams(第482行)中在solve(第357行)中s=(1-x)^(1/2)*(x+1)^(1/2)-(1-x)^(1/2)*(x+1)^(1/2)

解算器警告两种解决方案仅在特定条件下有效。万博 尤文图斯

加上假设x<1. 要添加新假设而不删除以前的假设,请使用assumeAlso

assumeAlso (x < 1)

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

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

对于进一步的计算,请清除假设。

假设([xy],'clear')

指定为集合的假设

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

在声明符号变量时N,假设N这是积极的。

符号n正

使用assumeAlso,在同一变量上添加更多假设N.例如,假设N是一个整数。

assumeAlso (n,“整数”)

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

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

对于进一步的计算,请清除假设。

假设(n,'clear')

矩阵元素假设

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

创建3×3符号矩阵A.用自动生成的元素。承担…的每一个因素A.是理性的,指定设置作为“理性”

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

现在,添加以下假设:A.大于1。

假设(A>1)

返回影响元素的假设A.使用假设:

假设(一)
ans=[1
              

对于进一步的计算,请清除假设。

假设(A,'clear')

这与假设

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

试着设定相反的假设。assumeAlso返回一个错误。

符号Y假设(y,“真实”的)假设(y==i)
使用mupadengine/feval(第172行)时出错假设不一致。sym/ASSUMEALO(第627行)feval(SYMMENGINE,'ASSUMEALO',cond)中的错误;

assumeAlso不保证检测到相互矛盾的假设。例如,假设Y是非零的,两者都是Yy *我是真实值。

syms y假设(y ~= 0)假设(y,'real')

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

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

对于进一步的计算,请清除假设。

假设(y,“明确的”)

输入参数

全部折叠

假设陈述,指定为符号表达式、方程、关系或符号表达式、方程或关系的向量或矩阵。您还可以使用逻辑运算符组合多个假设,,异或,,或它们的快捷方式。

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

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

通过指定字符向量的字符串数组或单元格数组,可以组合多个假设。例如,通过指定设置作为(“积极”的“理性”){'positive','rational'}

提示

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

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

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

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

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

    清晰的所有
  • MATLAB将复数不等式投影到实轴。如果条件是一个不等式,那么不等式的两边都必须表示实数。带有复数的不等式无效,因为复数字段不是有序字段。(无法判断是否5 +我大于或小于2 + 3 *我)例如,x >我就变成了x > 0,x<=3+2*i就变成了x < = 3

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

  • 您可以在一个函数调用中设置多个假设,而不是逐个添加假设。要设置几个假设,请使用假定并使用逻辑运算符组合这些假设,,异或,,所有,任何,或它们的快捷方式。

介绍了R2012a