此为 Mathematica 4 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.2)

Element

Usage

Element[x, dom] 声明 x 是区域 dom 的一个元素.
Element[  ,  , ...  , dom] a声明所有的  dom 的元素.
Element[patt, dom] 声明与模式 patt 匹配的任何表达式是 dom 的一个元素.


Notes

 可以用 x AliasIndicatorelemAliasIndicator domx \[Element] dom 输入.
Element 可以用来在Simplify 和相关函数中建立假定.
• 可能的区域是:
"\!\(\*StyleBox[\"\\\"Algebraics\\\"\", \"MR\"]\) ""代数数 "
"\!\(\*StyleBox[\"\\\"Booleans\\\"\", \"MR\"]\) " True 或 False
"\!\(\*StyleBox[\"\\\"Complexes\\\"\", \"MR\"]\) ""复数 "
"\!\(\*StyleBox[\"\\\"Integers\\\"\", \"MR\"]\) ""整数 "
"\!\(\*StyleBox[\"\\\"Primes\\\"\", \"MR\"]\) ""素数 "
"\!\(\*StyleBox[\"\\\"Rationals\\\"\", \"MR\"]\) "有理数" "
"\!\(\*StyleBox[\"\\\"Reals\\\"\", \"MR\"]\) ""实数"
 x 是数值时,如果可能立即计算.
• 例: Pi  AlgebraicsLongRightArrow ; Pi  RealsLongRightArrow .
( |  | ... )  dom 等价于   ,  , ...   dom.
  ,  , ...   dom( |  | ... )  dom 计算,如果其真实性不能被立即确定.
• 参见 Mathematica 全书: 1.4.6 and 节 3.3.10.
Further Examples

This confirms that  is a prime.

In[1]:=  

Out[1]=

This shows that the following numbers are algebraic.

In[2]:=  

Out[2]=

Here are some more examples.

In[3]:=  

Out[3]=

In[4]:=  

Out[4]=

In[5]:=  

Out[5]=

In[6]:=  

Out[6]=