WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

$Assumptions

Simplify，Refine，Integrate等の関数で使われるAssumptionsオプションのデフォルト設定である．

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

$Assumptions

$Assumptions

Simplify，Refine，Integrate等の関数で使われるAssumptionsオプションのデフォルト設定である．

詳細

例題

すべて開く すべて閉じる

例  (1)

大域的な仮定を設定する：

Wolfram Language code: $Assumptions = a > 0

この仮定がRefineとIntegrateで使われる：

Wolfram Language code: Refine[Sqrt[a ^ 2b ^ 2]]
Wolfram Language code: Integrate[x ^ a, {x, 0, 1}]

局所的な仮定を加える：

Wolfram Language code: Assuming[b < 0, Refine[Sqrt[a ^ 2b ^ 2]]]
Wolfram Language code: $Assumptions

局所的に仮定を変更する：

Wolfram Language code: Block[{$Assumptions = a < 0 && b < 0}, Refine[Sqrt[a ^ 2b ^ 2]]]

大域的な仮定を除去する：

Wolfram Language code: $Assumptions = True

スコープ  (3)

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

Wolfram Language code: operations := {Refine[Sin[n Pi]], Simplify[Mod[n ^ p, p]], FullSimplify[EulerPhi[p ^ n] - p ^ n], FunctionExpand[Factorial2[n]]};
Wolfram Language code: Block[{$Assumptions = n∈Integers && p∈Primes && n > 0}, operations]

Integrateおよび積分変換における仮定を指定する：

Wolfram Language code: Block[{$Assumptions = a > 0}, {Integrate[1 / (x + a), {x, 0, 1}], FourierTransform[1 / (x ^ 2 + a), x, w]}]

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

Wolfram Language code: Block[{$Assumptions = a > 0}, {Limit[x ^ a, x -> Infinity], Series[Min[x ^ 2, 1 + a]Cos[x] + Sin[x], {x, 0, 2}]}]

特性と関係  (1)

Assumingは局所的に$Assumptionsに仮定を加える：

Wolfram Language code: Block[{$Assumptions = x > 0}, Assuming[y > 0, {$Assumptions, Refine[Sqrt[x ^ 2y ^ 2]]}]]

考えられる問題  (1)

Assumptionsオプションが直接設定されている場合，$Assumptionsによって与えられる仮定は使われない：

Wolfram Language code: Block[{$Assumptions = x > 0}, Simplify[Sqrt[x ^ 2 y ^ 2], Assumptions -> y < 0]]
Wolfram Research (2003), $Assumptions, Wolfram言語関数， https://reference.wolfram.com/language/ref/$Assumptions.html.

テキスト

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

CMS

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

APA

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

BibTeX

@misc{reference.wolfram_2026_$assumptions, author="Wolfram Research", title="{$Assumptions}", year="2003", howpublished="\url{https://reference.wolfram.com/language/ref/$Assumptions.html}", note=[Accessed: 18-August-2026]}

BibLaTeX

@online{reference.wolfram_2026_$assumptions, organization={Wolfram Research}, title={$Assumptions}, year={2003}, url={https://reference.wolfram.com/language/ref/$Assumptions.html}, note=[Accessed: 18-August-2026]}