PRODUCTS
PURCHASE
FOR USERS
COMPANY
OUR SITES
DOCUMENTATION CENTER SEARCH
Mathematica
>
方程式の操作
>
Mathematica
組込みシンボル
仮定の使用
チュートリアル »
|
Simplify
PowerExpand
Assuming
Assumptions
関連項目 »
|
仮定と領域
方程式の操作
その他 »
Refine
Refine
[
expr
,
assum
]
expr
中のシンボルが仮定
assum
を満足する明示的な数式で置換された際に得られるような
expr
の形を与える．
Refine
[
expr
]
埋込みの
Assuming
構文によって指定されたデフォルトの仮定を使用する．
詳細
仮定は方程式，不等式，
x
Integers
のような領域指定，あるいはこれらの論理結合からなる．
Refine
は方程式，不等式，領域指定に使うことができる．
不等式中に代数的に現れた数量は常に実数であると仮定される．
Refine
は
Simplify
が試みる変換のひとつである．
次のオプションを使うことができる：
Assumptions
$Assumptions
assum
に追加するデフォルトの前提条件
TimeConstraint
30
任意の特定の変換を何秒間試みるか
例題
すべて閉じる
例
(2)
は任意の複素数
について簡約することはできない：
In[1]:=
Out[1]=
明示的な正の数式については，
を評価すると
になる：
In[2]:=
Out[2]=
Refine
は，記号式
が正であると仮定できる場合に，
を
について評価する：
In[3]:=
Out[3]=
仮定が弱いと簡約も弱くなることがある：
In[4]:=
Out[4]=
Assuming
を用いて
Refine
の呼出しに同じ仮定を指定する：
In[1]:=
Out[1]=
スコープ
(9)
オプション
(4)
アプリケーション
(1)
特性と関係
(4)
考えられる問題
(1)
関連項目
Simplify
PowerExpand
Assuming
Assumptions
チュートリアル
仮定の使用
その他
仮定と領域
方程式の操作
バージョン 5 の新機能
© 2008 Wolfram Research, Inc.
Integersのような領域指定，あるいはこれらの論理結合からなる．
例題
例 
スコープ 