DOCUMENTATION CENTER SEARCH
Mathematica
>
仮定と領域
>
Mathematica
組込みシンボル
仮定のもとでの式の簡約化
仮定の使用
チュートリアル »
|
Simplify
MemberQ
IntegerQ
Assumptions
Condition
PatternTest
Equal
Less
Divisible
CoprimeQ
Booleans
Primes
Exists
ForAll
関連項目 »
|
仮定と領域
方程式の操作
数の認識
数論
その他 »
Element
(
)
Element
[
x
,
dom
]
または
x
dom
は,
x
が領域
dom
の要素であることを主張する.
Element
[{
x
1
,
x
2
,
...
},
dom
]
すべての
x
i
が
dom
の要素であることを主張する.
Element
[
patt
,
dom
]
パターン
patt
にマッチする任意の式が
dom
の要素であることを主張する.
詳細
x
dom
は,
x
Esc
el
Esc
dom
または
x
\[Element]
dom
として入力できる.
Element
は,
Simplify
および関連する関数の仮定を設定するのに使用される.
可能な領域:
Algebraics
代数的数
Booleans
True
または
False
Complexes
複素数
Integers
整数
Primes
素数
Rationals
有理数
Reals
実数
x
が数値の場合,
x
dom
は,可能なら直ちに実行される.
(
x
1
|
x
2
|
...
)
dom
は,
{
x
1
,
x
2
,
...
}
dom
と等価である.
{
x
1
,
x
2
,
...
}
dom
は,真偽が直ちに決定できない場合,
(
x
1
|
x
2
|
...
)
dom
に評価される.
例題
すべて閉じる
例
(3)
が実数の要素かどうかテストする:
In[1]:=
Out[1]=
式の領域構成を表す:
In[1]:=
Out[1]=
Esc
elem
Esc
を使って入力する:
In[1]:=
Out[1]=
スコープ
(6)
特性と関係
(1)
考えられる問題
(1)
関連項目
Simplify
MemberQ
IntegerQ
Assumptions
Condition
PatternTest
Equal
Less
Divisible
CoprimeQ
Booleans
Primes
Exists
ForAll
チュートリアル
仮定のもとでの式の簡約化
仮定の使用
その他
仮定と領域
方程式の操作
数の認識
数論
関連リンク
NKS|Online
(
A New Kind of Science
)
バージョン 4 の新機能 | バージョン 5 での修正機能
© 2008 Wolfram Research, Inc.