WOLFRAM

Wolfram Language & System Documentation Center

Assuming[assum,expr]

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

詳細
Details and Options Details and Options
例題  
例  
スコープ  
アプリケーション  
特性と関係  
考えられる問題  
関連項目
テクニカルノート
関連するガイド
履歴
引用書式

Assuming

Assuming[assum,expr]

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

詳細

  • AssumingはAssumptionsオプションを持つすべての関数のデフォルトの仮定に影響を与える．
  • 仮定は方程式，不等式，領域指定，リストあるいはこれらの論理結合であり得る．
  • Assumingのネストした呼出しによる仮定は組み合せられる．
  • Assuming[assum,expr]はBlock[{$Assumptions=$Assumptions&&assum},expr]に実質的に等しい．
  • Assumingは仮定のリスト{a1,a2,…}を a1&&a2&&… に変換する．

例題

すべて開く すべて閉じる

例  (2)

RefineとIntegrateに同じ仮定を与える：

複数のRefineによる呼出しに同じ仮定を指定する：

スコープ  (3)

簡約のための仮定を指定する：

Integrateについての積分変換における仮定を指定する：

LimitとSeriesの仮定を指定する：

アプリケーション  (1)

仮定を使うコードを書き，a x2+b x+c の実根の数を求める：

特性と関係  (5)

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

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

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

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

次はネストしたAssumingを使うのに等しい：

Assumingは，Assumptions :> $Assumptionsオプション設定を使う関数に影響する：

ある種の関数には，仮定は引数としてもオプション値としても与えることができる：

考えられる問題  (1)

Assumptionsオプションを直接設定すると，Assumingで指定された仮定は使われない：

Wolfram Research (2003), Assuming, Wolfram言語関数， https://reference.wolfram.com/language/ref/Assuming.html.

テキスト

Wolfram Research (2003), Assuming, Wolfram言語関数， https://reference.wolfram.com/language/ref/Assuming.html.

CMS

Wolfram Language. 2003. "Assuming." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Assuming.html.

APA

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

BibTeX

@misc{reference.wolfram_2025_assuming, author="Wolfram Research", title="{Assuming}", year="2003", howpublished="\url{https://reference.wolfram.com/language/ref/Assuming.html}", note=[Accessed: 15-September-2025]}

BibLaTeX

@online{reference.wolfram_2025_assuming, organization={Wolfram Research}, title={Assuming}, year={2003}, url={https://reference.wolfram.com/language/ref/Assuming.html}, note=[Accessed: 15-September-2025]}