This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

DownValues

DownValues[f]
gives a list of transformation rules corresponding to all downvalues defined for the symbol f.
  • You can specify the downvalues for f by making an assignment of the form DownValues[f]=list.
Define values for a function :
These are the downvalues associated with :
Define values for a function :
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
In[3]:=
Click for copyable input
These are the downvalues associated with :
In[4]:=
Click for copyable input
Out[4]=
DownValues returns rules corresponding to definitions made for a symbol:
DownValues can be used to set the values directly:
The resulting rules are in the order given:
Now reorder the definitions:
Copy a symbol's definitions to another symbol:
Values can be defined by immediate or delayed assignments:
HoldPattern is used to protect the rules from their own definitions:
Definition and Information display downvalues but do not return them as values:
OwnValues returns a value that can be used in a program:
Evaluation of an expression involves applying rules for its head:
New in 2 | Last modified in 3