WolframのWebサイトのコンテンツとインタラクトしたりフォームを送信したりするためには，JavaScriptを有効にしてください．有効にする方法

OneIdentity

シンボル f に割り当てることができる属性で，パターンマッチの際，f[x]，f[f[x]]等が x に等しいことを表す．

詳細

PlusやTimesのような関数には，属性OneIdentityが与えられている．
Timesに属性としてOneIdentityが与えられていることにより，n_.x_のようなパターンがxに適合することができる．

例題

すべて開くすべて閉じる

例 (1)

Timesには属性OneIdentityがあるのでパターンはマッチする：

属性OneIdentityを持つ関数はどれでもマッチする：

特性と関係 (2)

OneIdentityはTimesを全く含まない式にデフォルトを適用することを許す：

Flat関数については，引数の任意の列がBlankにマッチする：

f が同時にFlatかつOneIdentityである場合，f[x_]は x_と f[a]ではなく a をマッチしようとする：

考えられる問題 (1)

f[a]と a をマッチするためには，Optionalを含むパターンを使わなくてはならない：

同様に，次のパターン f に定義済みのデフォルトがないのではうまくいかない：

デフォルトを定義するとこの問題は解決する：

トップへ