Assumptions

Assumptions

Simplify，Refine，Integrate等の関数のオプションとして使われ，記号的量についての仮定を指定する．

詳細

  • 一般的なデフォルト設定はAssumptions:>$Assumptionsである．
  • 仮定の指定には等式，不等式，領域指定，リスト，あるいはこれらの論理結合が使える．
  • Assumingは$AssumptionsとAssumptionsオプションのデフォルト値を修飾する．
  • 例えば，x を実変数として扱う，との仮定を設定するには，x∈Realsと指定する．
  • 不等式中に代数的に現れる数量は，常に実数であると推定される．

例題

すべて開くすべて閉じる

例  (1)

Refine：

Simplify：

FunctionExpand：

Integrate：

FourierTransform：

Limit：

Series：

特性と関係  (3)

$Assumptionsはオプションを持つほとんどの関数でAssumptionsのデフォルト値である：

Assumingは局所的に$Assumptionsの値を設定する：

Blockもまた局所的に$Assumptionsの値を設定するのに使うことができる：

以下では，Assumingからの仮定はBlockでは使われていない：

ネストしたAssumingからの仮定は結合される：

Wolfram Research (1996), Assumptions, Wolfram言語関数， https://reference.wolfram.com/language/ref/Assumptions.html （2003年に更新）.

テキスト

Wolfram Research (1996), Assumptions, Wolfram言語関数， https://reference.wolfram.com/language/ref/Assumptions.html （2003年に更新）.

CMS

Wolfram Language. 1996. "Assumptions." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2003. https://reference.wolfram.com/language/ref/Assumptions.html.

APA

Wolfram Language. (1996). Assumptions. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Assumptions.html

BibTeX

@misc{reference.wolfram_2024_assumptions, author="Wolfram Research", title="{Assumptions}", year="2003", howpublished="\url{https://reference.wolfram.com/language/ref/Assumptions.html}", note=[Accessed: 10-May-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_assumptions, organization={Wolfram Research}, title={Assumptions}, year={2003}, url={https://reference.wolfram.com/language/ref/Assumptions.html}, note=[Accessed: 10-May-2024 ]}