Assuming

Assuming[assum, expr]は$Assumptionsにassumを付加してexprを評価し，assumがRefine，Simplify，Integrate等の関数のデフォルトの仮定に使用されるようにする．

AssumingはAssumptionsオプションを持つすべての関数のデフォルトの仮定に影響を与える．

仮定は方程式，不等式，領域指定，リストあるいはこれらの論理結合でありうる．

Assumingのネストした呼出しによる仮定は組み合せられる．

Assuming[assum, expr]はBlock[$Assumptions = $Assumptions && assum, expr]に実質的に等しい．

Assumingは仮定のリスト, , ... を && && ... に変換する．

参照セクション：3.3.10.

次も参照：Block，Module，Refine，Reduce.

バージョン5.0の新関数

他の例