FreeQ

FreeQ[expr,form]

式 expr の部分式のいずれもが form にマッチしない場合にTrueを返し，その他の場合にFalseを返す．

FreeQ[expr,form,levelspec]

levelspec によって指定されたレベルにある式 expr の部分についてのみ判定する．

FreeQ[form]

式に適用可能なFreeQの演算子形を表す．

詳細とオプション

  • form には，パターンを使用することができる．
  • FreeQは，標準的なレベル指定を用いる．
  • nレベル1からレベル n まで
    Infinityレベル1からInfinityまで
    {n}レベル n のみ
    {n1,n2}レベル n1からレベル n2まで
  • FreeQにおける levelspec のデフォルト値は{0, Infinity}である．
  • 正のレベル n は，n 個の指標で指定される expr のすべての部分からなる．
  • 負のレベル-n は，深度 n の expr のすべての部分からなる．
  • レベル-1は数，記号，それに下位区分を持たないその他のオブジェクトからなる．
  • レベル0は式全体に相当する．
  • デフォルトのオプション設定のHeads->Trueでは，FreeQは式の頭部とその部分を見る．
  • FreeQは連想に作用し，値は調べるがキーは調べない．
  • FreeQ[form][expr]はFreeQ[expr,form]に等しい．
  • Parallelize[FreeQ[expr,form]]はFreeQ[expr,form]をすべてのサブカーネルで並列に計算する． »

例題

すべて開くすべて閉じる

例  (3)

リストが0を含んでいるかどうか判定する：

FreeQは一般に式の全レベルを判定する：

連想に値が含まれていないかどうかを判定する：

スコープ  (5)

FreeQはパターンに使うことができる：

Verbatimを使って文字通りのブランクについて判定する：

連想に特定の規則が含まれるかどうかを判定する：

規則のリストに特定の規則が含まれるかどうかを判定する：

連想に特定のキーが含まれるかどうかを判定する：

アプリケーション  (2)

「定数」を因数分解する関数を定義する：

どの積分に対数が含まれないかを調べる：

特性と関係  (1)

FreeQを並列計算する：

考えられる問題  (2)

連想については，FreeQは値のみを判定する：

KeyValuePatternは規則全体を判定する：

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

テキスト

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

CMS

Wolfram Language. 1988. "FreeQ." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2014. https://reference.wolfram.com/language/ref/FreeQ.html.

APA

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

BibTeX

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

BibLaTeX

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