 |
Assumptions
Assumptions
Simplify，Refine，Integrate等の関数のオプションとして使われ，記号的量についての前提条件を指定する．
詳細
- 一般的なデフォルト設定はAssumptions:>$Assumptionsである．
- 前提の指定には等式，不等式，領域指定，リスト，あるいはこれらの論理結合が使える．
- Assumingは$AssumptionsとAssumptionsオプションのデフォルト値を修飾する．
- 例えば，x を実変数として扱う，との前提を設定するには，x
Realsと指定する． - 不等式中に代数的に現れる数量は，常に実数であると推定される．
バージョン 3 の新機能 | バージョン 5 での修正機能
