假定说明和域

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

参考资料参考资料

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 ▪

New to Mathematica? Find your learning path »
Have a question? Ask support »