DownValues

DownValues[f]

gives a list of transformation rules corresponding to all downvalues defined for the symbol f.

Details and Options

  • You can specify the downvalues for f by making an assignment of the form DownValues[f]=list.
  • The list returned by DownValues has elements of the form HoldPattern[lhs]:>rhs.

Examples

open allclose all

Basic Examples  (1)

Define values for a function f:

In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
In[3]:=
Click for copyable input

These are the downvalues associated with f:

In[4]:=
Click for copyable input
Out[4]=

Scope  (2)

Applications  (2)

Properties & Relations  (4)

See Also

Set  UpValues  Information

Tutorials

Introduced in 1991
(2.0)
| Updated in 1996
(3.0)