Blocks and Local Values
Modules in
Mathematica allow you to treat the
names of variables as local. Sometimes, however, you want the names to be global, but
values to be local. You can do this in
Mathematica using
Block.
| Block[{x,y,...},body] | evaluate body using local values for x, y, ... |
| Block[{x=x0,y=y0,...},body] | assign initial values to x, y, ... |
Setting up local values.
Here is an expression involving x.
| Out[1]= |  |
|
This evaluates the previous expression, using a local value for x.
| Out[2]= |  |
|
There is no global value for x.
| Out[3]= |  |
|
As described in
Modules and Local Variables, the variable
x in a module such as
Module[{x}, body] is always set up to refer to a unique symbol, different each time the module is used, and distinct from the global symbol
x. The
x in a block such as
Block[{x}, body] is, however, taken to be the global symbol
x. What the block does is to make the
value of
x local. The value
x had when you entered the block is always restored when you exit the block. And during the execution of the block,
x can take on any value.
This sets the symbol t to have value 17.
| Out[4]= |  |
|
Variables in modules have unique local names. |
In blocks, variables retain their global names, but can have local values. |
t is given a local value inside the block.
| Out[7]= |  |
|
When the execution of the block is over, the previous value of t is restored.
| Out[8]= |  |
|
Blocks in
Mathematica effectively allow you to set up "environments" in which you can temporarily change the values of variables. Expressions you evaluate at any point during the execution of a block will use the values currently defined for variables in the block. This is true whether the expressions appear directly as part of the body of the block, or are produced at any point in its evaluation.
This defines a delayed value for the symbol u. |
If you evaluate u outside a block, the global value for t is used.
| Out[10]= |  |
|
You can specify a temporary value for t to use inside the block.
| Out[11]= |  |
|
An important implicit use of
Block in
Mathematica is for iteration constructs such as
Do,
Sum and
Table.
Mathematica effectively uses
Block to set up local values for the iteration variables in all of these constructs.
Sum automatically makes the value of the iterator t local.
| Out[12]= |  |
|
The local values in iteration constructs are slightly more general than in Block. They handle variables such as a[1], as well as pure symbols.
| Out[13]= |  |
|
When you set up functions in
Mathematica, it is sometimes convenient to have "global variables" which can affect the functions without being given explicitly as arguments. Thus, for example,
Mathematica itself has a global variable
$RecursionLimit which affects the evaluation of all functions, but is never explicitly given as an argument.
Mathematica will usually keep any value you define for a global variable until you explicitly change it. Often, however, you want to set up values which last only for the duration of a particular computation, or part of a computation. You can do this by making the values local to a
Mathematica block.
This defines a function which depends on the "global variable" t. |
In this case, the global value of t is used.
| Out[15]= |  |
|
Inside a block, you can set up a local value for t.
| Out[16]= |  |
|
You can use global variables not only to set parameters in functions, but also to accumulate results from functions. By setting up such variables to be local to a block, you can arrange to accumulate results only from functions called during the execution of the block.
This function increments the global variable t, and returns its current value. |
If you do not use a block, evaluating h[a] changes the global value of t.
| Out[18]= |  |
|
With a block, only the local value of t is affected.
| Out[19]= |  |
|
The global value of t remains unchanged.
| Out[20]= |  |
|
When you enter a block such as
Block[{x}, body], any value for
x is removed. This means that you can in principle treat
x as a "symbolic variable" inside the block. However, if you explicitly return
x from the block, it will be replaced by its value outside the block as soon as it is evaluated.
The value of t is removed when you enter the block. |
If you return an expression involving t, however, it is evaluated using the global value for t.
| Out[22]= |  |
|
