 |
Assuming
Assuming[assum, expr]
$Assumptionsに 
を付加して 
を評価し，
がRefine，Simplify，Integrate等の関数のデフォルトの仮定に使用されるようにする．
詳細
- AssumingはAssumptionsオプションを持つすべての関数のデフォルトの仮定に影響を与える．
- 仮定は方程式，不等式，領域指定，リストあるいはこれらの論理結合であり得る．
- Assumingのネストした呼出しによる仮定は組み合せられる．
- Assuming[assum, expr]はBlock[{$Assumptions=$Assumptions&&assum}, expr]に実質的に等しい．
- Assumingは仮定のリスト
を 
に変換する．
バージョン 5 の新機能
