Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > コアとなる言語 > 規則とパターン > パターンマッチング関数 > FreeQ >
MATHEMATICA 組込みシンボルチュートリアル »|関連項目 »|その他 »

FreeQ

FreeQ
式 の部分式のいずれもが form にマッチしない場合にTrueを返し，その他の場合にFalseを返す．
FreeQ
によって指定されたレベルにある式 の部分についてのみ判定する．
詳細
  • form には，パターンを使用することができる．
  • FreeQは，標準的なレベル指定を用いる．
nレベルからレベル n まで
InfinityレベルからInfinityまで
{n}レベル n のみ
{n1,n2}レベル からレベル まで
  • FreeQにおける levelspec のデフォルト値は{0, Infinity}である．
  • 正のレベル は，個の指標で指定される のすべての部分からなる．
  • 負のレベルは，深度の のすべての部分からなる．
  • レベルは数，記号，それに下位区分を持たないその他のオブジェクトからなる．
  • レベルは式全体に相当する．
  • デフォルトのオプション設定のHeads->Trueでは，FreeQは式の頭部とその部分を見る．
例題すべて閉じる
例   (2)
リストがを含んでいるかどうかテストする：
FreeQは一般に式の全レベルをテストする：
リストがを含んでいるかどうかテストする：
In[1]:=
Click for copyable input
Out[1]=
 
FreeQは一般に式の全レベルをテストする：
In[1]:=
Click for copyable input
Out[1]=
スコープ   (1)
FreeQはパターンに使うことができる：
アプリケーション   (2)
「定数」を因数分解する関数を定義する：
どの積分に対数が含まれないかを調べる：
バージョン 1 の新機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
フォーマット:   HTML  |  CDF