Refine

Refine[expr, assum]はexpr中のシンボルが仮定assumを満足する明示的な数式で置換された際に得られるようなexprの形を与える．

Refine[expr]は埋込みのAssumingコンストラクトによって指定されたデフォルトの仮定を使用する．

例：Refine[Sqrt[x^2], x > 0] .

仮定は方程式，不等式，x Integersのような領域指定，あるいはこれらの論理結合からなる．

例：Refine[Sqrt[x^2], x Reals] .

Refineは方程式，不等式，領域指定に使うことができる．

不等式中に代数的に現れた数量は常に実数であると仮定される．

RefineはSimplifyが試みる変換のひとつである．

RefineはオプションAssumptionsを持つ．このオプションのデフォルト値は$Assumptionsである．

Refine[expr, a, Assumptions->b]は仮定a && bを使う．

参照セクション：3.3.10.

次も参照：Simplify，PowerExpand，Assuming.

バージョン5.0の新関数

他の例