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 が領域

の要素であることを宣言する．

Element

すべての

が

の要素であることを宣言する．

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文は評価されずに残る：

チュートリアル

仮定のもとでの式の簡約化

仮定の使用

その他

仮定と領域

方程式の操作

数の認識

整数論