THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

DOCUMENTATION CENTER SEARCH

New to Mathematica? Find your learning path »

Mathematica > 数学和算法 > 公式处理 > 假定说明和域 > Element (

) >

Element

或

，声明 x 是 dom 域中的一个元素.

Element

声明所有的

是 dom 的元素.

Element

声明与模式 patt 匹配的任何表达式是 dom 的一个元素.

更多信息

可以用 x Esc el Esc dom 或输入.

Element 可以用来在 Simplify 和其相关函数中建立假定.

可能的域有：

	Algebraics	代数数
	Booleans	True 或 False
	Complexes	复数
	Integers	整数
	Primes	素数
	Rationals	有理数
	Reals	实数

当 x 是数值时，如果可能立即计算.

等价于 .

按计算，如果其真实性不能被立即确定.

范例

关闭所有单元

例 (3)

测试

是否是实数元素：

表明一个表达式的成员域：

用 Esc elem Esc 输入：

测试

是否是实数元素：

In[1]:=

Out[1]=

表明一个表达式的成员域：

In[1]:=

Out[1]=

用 Esc elem Esc 输入：

In[1]:=

Out[1]=

范围 (6)

测试域成员：

域成员假定：

用假设测试域成员：

指定可变域：

在匹配模式的对象上指定假设：

TraditionalForm 格式化：

属性和关系 (1)

对于一个单个变量，否定 Element 将自动转换到 NotElement：

对于多重变量，否定 Element 不是自动化简：

用 LogicalExpand 求根据 NotElement 的表示：

可能存在的问题 (1)

当域成员不能决定时，Element 将保持不计算：

教程

带有假定的化简

使用假定

更多关于

假定说明和域

公式处理

数字识别

数论