PRODUCTS
Mathematica
Mathematica Home Edition
Mathematica for Students
Mathematica for the Classroom
grid
Mathematica
Wolfram Lightweight Grid Manager
web
Mathematica
Mathematica Player
(free download)
Mathematica Player Pro
Wolfram
Workbench
Mathematica
Applications
SOLUTIONS
Engineering
Aerospace Engineering & Defense
Chemical Engineering
Electrical Engineering
Image Processing
Industrial Engineering
Materials Science
Mechanical Engineering
Operations Research
Optics
Petroleum Engineering
Biotechnology & Medicine
Bioinformatics
Medical Imaging
Finance, Statistics, & Business Analysis
Actuarial Sciences
Data Analysis & Mining
Econometrics
Economics
Financial Engineering & Mathematics
Financial Risk Management
Statistics
Software Engineering & Content Delivery
Authoring & Publishing
Interface Development
Software Engineering
Web Development
Science
Astronomy
Biological Sciences
Chemistry
Environmental Sciences
Geosciences
Social & Behavioral Sciences
Design, Arts, & Entertainment
Game Design, Special Effects, & Generative Art
Education
Higher Education
Precollege Education
Students
Technology
Interactive Deployment
High-Performance & Parallel Computing (HPC)
See Also: Technology Guide
PURCHASE
Online Store
Other Ways to Buy
Volume & Site Licensing
Contact Sales
Software
Service
Upgrades
Training
Books
FOR USERS
All User Resources
Product Registration
Technical Support
Customer Service
Developer Support
Does My Site Have a License?
Free Seminars
Learning Center
Training
Custom Group Seminars
Documentation & Examples
Tutorial Screencasts
Video Gallery
Demonstrations Project
Education Portal
Student Resources
COMPANY
About Wolfram Research
News & Events
Wolfram Blog
Employment Opportunities
History of
Mathematica
Stephen Wolfram's Home Page
Contact Us
OUR SITES
Wolfram|Alpha
Demonstrations Project
Wolfram Blog
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Library Archive
Wolfram
Tones
Wolfram Science
Stephen Wolfram
DOCUMENTATION CENTER SEARCH
Mathematica
>
Core Language
>
Defining Variables and Functions
>
Assignments
>
Built-in
Mathematica
Symbol
Manipulating Value Lists
Patterns and Transformation Rules
Tutorials »
|
Set
UpValues
Information
See Also »
|
Assignments
Symbol Handling
More About »
DownValues
DownValues
[
f
]
gives a list of transformation rules corresponding to all downvalues defined for the symbol
f
.
MORE INFORMATION
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
CLOSE ALL
Basic Examples
(1)
Define values for a function
f
:
In[1]:=
In[2]:=
In[3]:=
These are the downvalues associated with
f
:
In[4]:=
Out[4]=
Scope
(2)
Applications
(2)
Properties & Relations
(4)
SEE ALSO
Set
UpValues
Information
TUTORIALS
Manipulating Value Lists
Patterns and Transformation Rules
MORE ABOUT
Assignments
Symbol Handling
New in 2 | Last modified in 3
EXAMPLES
Basic Examples 
Scope 