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.
Basic Examples (1)
Define values for a function f:
These are the downvalues associated with f:
Properties & Relations (4)
Introduced in 1991
Updated in 1996