Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > コアとなる言語 > 変数と関数の定義 > 属性 >

Flat

Flat
シンボルの属性で,このシンボル f がネストしている場合に自動的にフラットにする(ネストをほどく)ことを指定する.この属性はパターンマッチの際に考慮される.
  • Flatは数学的な特性である結合律に対応する.
  • 属性Flatを与えられているシンボル f では,f[f[a, b], f[c]]が自動的に f[a, b, c]へと還元される.
  • Flatである関数 f では,パターン f [x_, y_]における変数xyは,引数の任意の列に対応することができる.
  • 属性Flatは,Flat関数に値を割り当てる前に,設定されなければならない.
  • Flatな関数がパターンマッチングに用いられる場合は,属性OneIdentityも必要であることが多い.
バージョン 1 の新機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team