Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > Core Language > Functional Programming > Function (&) >
BUILT-IN MATHEMATICA SYMBOLTutorials »|See Also »|More About »

Function

Function[body]
or body& is a pure function. The formal parameters are (or ), , etc.
Function
is a pure function with a single formal parameter x.
Function
is a pure function with a list of formal parameters.
MORE INFORMATION
  • When Function[body] or body& is applied to a set of arguments, (or ) is replaced by the first argument, by the second, and so on. is replaced by the function itself.
  • If there are more arguments supplied than #i in the function, the remaining arguments are ignored. »
  • stands for the sequence of all arguments supplied. »
  • ##n stands for arguments from number n on. »
  • Function is analogous to in LISP or formal logic.
  • Function has attribute HoldAll. The function body is evaluated only after the formal parameters have been replaced by arguments.
  • The named formal parameters in Function are treated as local, and are renamed when necessary to avoid confusion with actual arguments supplied to the function. »
  • Function constructs can be nested in any way. Each is treated as a scoping construct, with named inner variables being renamed if necessary. »
  • Function represents a pure function that is to be treated as having attributes for the purpose of evaluation. »
EXAMPLESCLOSE ALL
Basic Examples   (3)
Pure function with one parameter:
Pure function with two parameters:
Set to be a pure function:
Use the pure function:
Pure function with one parameter:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
 
Pure function with two parameters:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
 
Set to be a pure function:
In[1]:=
Click for copyable input
Out[1]=
Use the pure function:
In[2]:=
Click for copyable input
Out[2]=
Scope   (12)
Map a pure function over a list:
Select with a pure function:
Use a pure function as a predicate:
Create an array from a pure function:
Sort by comparing the second part of each element:
Specify a custom comparison function in FixedPoint:
Specify a custom color function:
Provide a custom distance function:
Derivative of a pure function:
Derivative of Tan:
Solutions of differential equations may be expressed as pure functions:
Difference equations may return pure functions:
Generalizations & Extensions   (4)
stands for all arguments:
##n stands for argument n on:
Create a pure function with attribute Listable:
stands for the whole pure function:
A recursive definition for factorial using :
Applications   (3)
Turn a function that takes several arguments into one that takes a list of arguments:
A function that returns a function that multiplies its argument by :
Preserve arguments in unevaluated form:
Properties & Relations   (11)
uses only the first argument supplied; the rest are ignored:
Not using any arguments results in a constant pure function:
Replacements can be done inside pure functions:
Formal parameters are renamed whenever there is a possibility of confusion:
The names of the parameters do not matter:
However, reusing a name introduces a new scope:
Nested functions take their arguments one at a time:
is the same as simply f in the univariate case:
In general is the same as f:
Turn a formula involving a variable into a pure function:
Use a formula in Table:
Use the corresponding pure function in an equivalent Array expression:
Special-purpose function constructs include InterpolatingFunction:
Possible Issues   (4)
binds more loosely than , so it usually needs parentheses in rules:
binds more loosely than , so it usually needs parentheses in pattern tests:
Function does not evaluate its body until the function is applied:
Supplying fewer than the required number of arguments generates an error:
Neat Examples   (2)
Define the recursion operator of recursion theory []:
Use it to define the factorial function:
Newton's formula for finding a zero of a function:
New in 1 | Last modified in 7
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
Format:   HTML  |  CDF