元素

元素[x,dom公司]

或x∈dom公司声称x是域的元素dom公司.

元素[x,规则]

或x∈规则声称x是该地区的一个元素规则.

元素[x1|x2|…,dom公司]

声称所有x我是的元素dom公司.

元素[拍,dom公司]

断言任何与模式匹配的表达式拍是的元素dom公司.

细节

  • x∈dom公司可以输入为x 埃尔 dom公司或x \[元素] dom公司.
  • 元素可用于在中设置假设简化和相关功能。
  • dom公司可以是数字域或中的区域.
  • 可能的域dom公司是：
  • 代数代数数
    布尔值真的或False（错误）
    复合物复数
    整数整数
    底漆质数
    基本原理有理数
    雷亚尔实数
  • 可能的区域规则由定义区域Q.
  • x∈dom公司如果可能，当x是数字。
  • 对于域dom公司,{x1,x2,…}∈dom公司等于(x1|x2|…)∈dom公司.
  • 对于一个区域规则,{x1,x2,…}∈规则断言具有坐标的点x1,x2,…属于注册.
  • {x1,x2,…}∈dom公司计算结果为(x1|x2|…)∈dom公司如果不能立即确定其真实性或虚假性。

示例

全部打开全部关闭

基本示例  （5）

测试是否是reals的一个元素：

测试点是否属于单元磁盘：

表达式的表示域成员身份：

断言这一点属于单位球：

使用元素断言跨区域集成：

或在区域上进行优化：

使用输入元素:

范围  (9)

测试域成员身份：

测试区域成员身份：

绘制它：

假设域成员身份：

快递区域成员：

使用假设测试域成员身份：

使用假设测试区域成员：

指定可变域：

指定与图案匹配的对象的假设：

传统形式格式化：

属性和关系  (2)

对于单个变量元素自动转换为非元素:

对于多个变量元素不会自动简化：

使用逻辑扩展找到以下方面的表示非元素:

元素断言区域成员身份：

地区成员给出了明确的区域成员条件：

可能的问题  (1)

当无法确定域成员身份时元素语句保持未评估状态：

Wolfram Research（1999），Element，Wolfram语言函数，https://reference.wolfram.com/language/ref/Element.html（2014年更新）。

文本

Wolfram Research（1999），Element，Wolfram语言函数，https://reference.wolfram.com/language/ref/Element.html（2014年更新）。

CMS公司

沃尔夫拉姆语言。1999年，《元素》，Wolfram语言与系统文档中心。Wolfram研究。2014年最后修改。https://reference.wolfram.com/language/ref/Element.html。

亚太地区

沃尔夫拉姆语言。(1999). 元素。Wolfram语言与系统文档中心。检索自https://reference.wolfram.com/language/ref/Element.html参考文件

BibTeX公司

@misc{reference.wolfram_2024_element，author=“wolfram Research”，title=“{element}”，年份=“2014”，howpublished=“\url{https://reference.jolfram.com/language/ref/element.html}”]}

BibLaTeX公司

@online{reference.wolfram_2024_element，organization={wolfram Research}，title={element}，year={2014}，url={https://reference.jolfram.com/language/ref/element.html}，note=[访问时间：2024年6月13日]}