Inactivate

Inactivate[expr]

expr の頭部として使われる記号 f について，f のすべてのインスタンスをInactive[f]で置換する．

Inactivate[expr,patt]

パターン patt にマッチする expr 中のすべての記号を非アクティブにする．

詳細とオプション

  • Inactivateは属性HoldFirstを有し，expr 中の記号は評価の前に非アクティブにされる．
  • オプション設定Heads->Falseを使うと，Inactivateは式の頭部を入れず，その部分を非アクティブにしない．
  • デフォルトで，特定の意味的に重要な頭部は非アクティブにされない．例として，List，Rule，Blank等が挙げられる．

例題

すべて開くすべて閉じる

例  (3)

式を非アクティブにする：

その式をアクティブにする：

いくつかの項がある式を非アクティブにする：

式を部分的にアクティブにする：

式中の記号を非アクティブにする：

式を評価する：

スコープ  (5)

式を非アクティブにする：

式を評価する：

記号gのみを非アクティブにする：

gをアクティブにする：

gとhを非アクティブにする：

hのみをアクティブにする：

式中のIntegrate以外のすべての記号を非アクティブにする：

式を評価する：

数値関数が非アクティブになることを防ぐ：

一般に，PlusおよびSinもまた，非アクティブにされる：

オプション  (1)

Heads  (1)

デフォルトで，Inactivateは，複合頭部の中であっても，頭部を非アクティブにする：

Heads->Falseと設定すると，複合頭部の中では非アクティブは実行されない：

アプリケーション  (5)

三角関数を含む式を定義する：

さまざまな三角関数をアクティブにする：

微分係数と積分の両方を非アクティブにしたままで， を定義する：

積分を評価せずに積分を微分する：

積分をアクティブにして最終結果を計算する：

微分を行わずに積分する：

微分をアクティブにして最終結果を計算する：

結果は数学的に等しい：

積分の微分についてのライプニッツ(Leibniz)の法則を含む恒等式を示す：

連鎖律：

不定積分：

無限和と無限積：

特性と関係  (6)

ActivateはInactivateの逆関数である：

Inactivateは，特定の記号をその非アクティブな形で置換する：

Activateは，非アクティブなすべての記号を，そのアクティブな形で置換する：

Inactivateは非アクティブな形の記号をそのままに保ち，式を部分的に非アクティブにすることができる：

Holdは式を未評価の形に保つ．すべての部分は非アクティブである：

非アクティブな式と対応するFullFormを比較する：

Inactivateは，ベキ等元演算子である：

デフォルトで，頭部の中には非アクティブにされないものがある．List，Rule ()，Blank (_)等がその例である：

Replaceをすべてのレベルで使うと式の中のすべての頭部を非アクティブにすることができる：

考えられる問題  (1)

複合頭部には属性がないので，Inactivateを使用すると評価リークに繋がりかねない：

通常の場合は，SumのHoldAll属性がkの評価を防止する：

おもしろい例題  (1)

定積分の表を作る：

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

テキスト

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

CMS

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

APA

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

BibTeX

@misc{reference.wolfram_2024_inactivate, author="Wolfram Research", title="{Inactivate}", year="2014", howpublished="\url{https://reference.wolfram.com/language/ref/Inactivate.html}", note=[Accessed: 17-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_inactivate, organization={Wolfram Research}, title={Inactivate}, year={2014}, url={https://reference.wolfram.com/language/ref/Inactivate.html}, note=[Accessed: 17-November-2024 ]}