領域指定の幅広いサポート
Mathematica 5では，多数の記号計算における領域指定のサポートが向上しました．新関数のRefineは，式の中の記号が，前提を満足する明示的な数値式で置き換えられた場合に得られる式の形式を与えます．また，新関数の Assumingを使うと，すべての操作で使用する前提の集合をひとつ指定することができます．
例：平方根の簡約化
以下で，x およびy が正であると仮定して，e を絞り込みます．
![Refine[e, x > 0 [And] y > 0]](images/assuming_5.gif "Refine[e, x > 0 [And] y > 0]")
例：Mathematica 関数で前提条件を使う
前提条件は，Mathematica 関数の多くで取り入れられ，複数のネストを通して伝播します．答を顕著に簡約化したり，閉形式の解を可能にしたりすることさえあります．
![F = ∫_ (-∞)^y^(-(x - μ)^2/(2 σ^2))/((2 π)^(1/2) σ) x ; Underscript[lim, y∞] F](images/assuming_7.gif "F = ∫_ (-∞)^y^(-(x - μ)^2/(2 σ^2))/((2 π)^(1/2) σ) x ; Underscript[lim, y∞] F")
![Underscript[lim, y∞] 1/((2 π)^(1/2) σ) If[Re(σ^2) >0, & ... 3309;^(-(x - μ)^2/(2 σ^2)), {x, -∞, y}, AssumptionsRe(σ^2) ≤0]]](images/assuming_8.gif "Underscript[lim, y∞] 1/((2 π)^(1/2) σ) If[Re(σ^2) >0, & ... 3309;^(-(x - μ)^2/(2 σ^2)), {x, -∞, y}, AssumptionsRe(σ^2) ≤0]]")
sigma=0という前提条件では，以下のようになります．
![Assuming[σ>0, F = ∫_ (-∞)^y^(-(x - μ)^2/(2 σ^2))/((2 π)^(1/2) σ) x ; Underscript[lim, y∞] F]](images/assuming_9.gif "Assuming[σ>0, F = ∫_ (-∞)^y^(-(x - μ)^2/(2 σ^2))/((2 π)^(1/2) σ) x ; Underscript[lim, y∞] F]")
| 
![[en]](/common/images2003/lang_bottom_en.gif)