UpValues

UpValues[f]

シンボル f に定義されたすべての上向きの値（g[…,f[…],…]についての値）に対応する変換規則のリストを与える．

UpValues["symbol"]

"symbol"という名前のシンボルが存在する場合に，このシンボルについて定義されたすべての上向の値に対応する変換規則のリストを与える．

詳細とオプション

  • UpValues[f]は g[…,f,…]に相当する規則も与える．
  • 式を評価する際，マッチする上向きの値はマッチする下向きの値の前に適用される． »
  • 関数に属性HoldAllCompleteがあるなら，上向きの値は関数本体を入力する前には適用されない． »
  • UpValuesは，通常，UpSet，UpSetDelayed，TagSetあるいはTagSetDelayedを使って定義される．
  • UpValues[f]=list の形式の割当てをすることで f に上向きの値を指定することができる．
  • UpValuesで返されるリストはHoldPattern[lhs]:>rhs 形式の要素を持つ．

例題

すべて開くすべて閉じる

例  (1)

TagSetDelayedを使って記号gの上向きの値を定義する：

UpSetDelayedを使って上向きの値を定義する：

次はgに関連する上向きの値である：

スコープ  (3)

UpValuesは記号について定義された上向きの値に対応する規則を返す：

いくつかの値を作る：

名前がxで始まるシンボルの上向の値を得る：

UpValuesは値を直接設定するのに使うことができる：

アプリケーション  (2)

結果の規則は与えられた順序になる：

定義を並べ直す：

記号の定義を他の記号にコピーする：

特性と関係  (7)

値の定義には即時割当てと遅延割当てのどちらを使うこともできる：

HoldPatternは規則をそれ自身の定義から保護するのに使われる：

指定されたシンボルが存在しない場合，UpValues["sym"]はメッセージを出す：

シンボルは存在するが定義がない場合は空リストが返される：

DefinitionとInformationは上向きの値を表示するがそれらを値として返しはしない：

UpValuesはプログラムで使うことができる値を返す：

マッチする上向きの値の適用を含む式の評価：

マッチする上向きの値は，評価で下向きの値をマッチングする前に使用される：

g についての上向きの値は f についての下向きの値の前に使われる：

上向きの値と下向きの値の手動での適用と比較する：

すべての頭部に適用されるgの上向きの値を定義する：

たとえ関数に属性HoldAllがあっても，上向きの値は評価中に適用される：

関数に属性HoldAllCompleteがある場合は，上向きの値は適用されない：

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

テキスト

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

CMS

Wolfram Language. 1991. "UpValues." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 1996. https://reference.wolfram.com/language/ref/UpValues.html.

APA

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2024_upvalues, organization={Wolfram Research}, title={UpValues}, year={1996}, url={https://reference.wolfram.com/language/ref/UpValues.html}, note=[Accessed: 22-November-2024 ]}