DownValues

DownValues[f]は，シンボル fに定義されたすべての下向きの値に対応する変換規則をリスト形式で返す．

DownValues[f] = listの形式の割当てをすることでfの下向きの値を指定することができる．

DownValuesによって返されたリストは，HoldPattern[lhs] :> rhsという形式の要素を持つ．

参照セクション：2.5.13.

次も参照：Set，UpValues．

バージョン2の新関数．バージョン3で大幅改訂

他の例