# assumptions

显示影响符号变量的假设

函数库: TySymbolicMath

assumptions(vars) 返回 vars 中的符号变量的所有假设。示例

assumptions() 返回所有变量的所有假设。示例

返回某个符号变量的假设

对符号变量设置假设。用 @variables 创建的符号变量，默认是 real 类型的，但未使用 assume 函数之前，assumptions 返回空。

using TySymbolicMath
@variables x y
assumptions()

ans = Dict{Number, Union{String, AbstractVector{String}}}()

假设 x 是正偶数，y 是正整数。assume 会删除对变量的先前假设属性，assumeAlso 则会保留对变量的先前假设属性。

assume([x, y], ["integer", "positive"])
assumeAlso(x, "even")
assumptions(x)

ans = Dict{Number, Union{String, AbstractVector{String}}} with 1 entry:
  x => ["even", "integer", "positive"]

注意

assumptions 不会自动合并具有包含关系的假设属性。

assumptions([x, y])

ans = Dict{Number, Union{String, AbstractVector{String}}} with 2 entries:
  y => ["integer", "positive"]
  x => ["even", "integer", "positive"]

可以使用 assume("Allclear") 来清除所有假设，此时 assumptions 返回空。

assume("Allclear")
assumptions()

ans = Dict{Number, Union{String, AbstractVector{String}}}()

返回所有假设

using TySymbolicMath
@variables x y z
assume("Allclear")
assume([x, y], "nonpositive")
assume(z, "positive")
assumptions()

ans = Dict{Number, Union{String, AbstractVector{String}}} with 3 entries:
  z => "positive"
  y => "nonpositive"
  x => "nonpositive"

vars - 用于检查假设的符号输入

符号变量 | 由符号变量构成的向量

用于检查假设的符号输入，指定为符号变量或由符号变量构成的向量。

注意

符号变量是通过 @variables 创建生成的，例如，@variables x mn。而 x^2 和 x + mn 都不是符号变量。且 assume 会忽略对常量的假设。

数据类型： Num

复数支持： 是