製品
製品の一覧
Mathematica
Mathematica
学生エディション
Mathematica
ホームエディション
Wolfram
CDF Player
(無料ダウンロード)
CDF(計算可能ドキュメント形式)
web
Mathematica
grid
Mathematica
Wolfram
Workbench
Wolfram
SystemModeler
Wolfram
Finance Platform
Mathematica
アドオン
Wolfram|Alpha関連製品
ソリューション
ソリューションの一覧
工学
航空宇宙工学と防衛
化学工学
制御系
電気工学
画像処理
生産工学
材料科学
機械工学
オペレーションズリサーチ
光学
石油工学
バイオテクノロジーと医学
バイオインフォマティクス
医用画像処理
金融,統計,ビジネスの分析
保険数理
データの解析とマイニング
計量経済学
経済学
金融工学と数学
財務リスク管理
統計
ソフトウェア工学とコンテンツ配信
オーサリングと出版
インターフェース開発
ソフトウェア工学
Web開発
科学
天文学
バイオサイエンス
化学
環境科学
地球科学
社会・行動科学
デザイン,芸術,娯楽
ゲームデザイン・特殊効果・ジェネレーティブアート
教育
高等教育
短大・専門学校
初等・中等教育
学生
テクノロジー
CDF(計算可能ドキュメント形式)
高性能並列計算(HPC)
参照:テクノロジーガイド
ご購入
オンラインストア
他の購入方法
Volumeライセンスとサイトライセンス
販売部へのご連絡
ソフトウェア
サービス
アップグレード
トレーニング
書籍
Wolframグッズ
サポート
テクニカルサポートページ
Mathematica
ドキュメント
知識ベース
ラーニングセンター
テクニカルサービス
コミュニティ & フォーラム
トレーニング
サイトライセンスの確認
Wolframユーザポータル
会社概要
会社概要
ニュースとイベント
Wolframブログ
パートナーシップ
採用情報
Mathematica
の歴史
Stephen Wolframのホームページ
連絡先
Wolfram Webサイト
サイトの一覧
Wolfram|Alpha
デモンストレーションプロジェクト
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Media
Wolfram
Tones
Wolfram Science
Stephen Wolfram
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE
DOCUMENTATION CENTER
FOR THE LATEST INFORMATION.
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 での修正機能
© 2013 Wolfram Research, Inc.