假定说明和域

Wolfram 语言可以灵活地对变量进行任意的符号假定说明. 它采用大量先进的算法来推断假定的结果,在这个过程中往往自动应用一系列必要的数学定理.

参考资料参考资料

Element () 指定一个域的隶属关系 (输入为 EscelemEsc)

NotElement () 指定一个域内排除的成员 (Esc!elemEsc)

Less (<), Greater (>), ... 定义不等式,一般为实数

ForAll () 全称量词 (输入为 EscfaEsc)

Exists () 存在量词 (输入为 EscexEsc)

Reals  ▪  Integers  ▪  Complexes  ▪  Algebraics  ▪  Primes  ▪  Rationals  ▪  Booleans

Refine 用假定计算一个表达式

Simplify, FullSimplify 用假定化简

FunctionExpand 用假定,展开为简单函数

Assuming 在函数内部建立假定

$Assumptions 缺省的全局 Assumptions 选项

允许指定域的函数

Reduce  ▪  Resolve  ▪  FindInstance  ▪  Minimize  ▪  NMinimize  ▪  ...

计算的定义域和范围

FunctionDomain 求函数的定义域

FunctionRange 求函数的范围