DOCUMENTATION CENTER SEARCH
Mathematica
>
Scoping Constructs
>
Built-in
Mathematica
Symbol
Local Constants
Some General Notations and Conventions
Variables in Pure Functions and Rules
Tutorials »
|
Module
Block
ReplaceAll
See Also »
|
Evaluation Control
Language Overview
Procedural Programming
Scoping Constructs
More About »
With
With
[{
x
=
x
0
,
y
=
y
0
,
...
},
expr
]
specifies that in
expr
occurrences of the symbols
x
,
y
, ... should be replaced by
x
0
,
y
0
, ... .
MORE INFORMATION
With
allows you to define local constants.
With
replaces symbols in
expr
only when they do not occur as local variables inside scoping constructs.
You can use
With
[{
vars
},
body
/;
cond
]
as the right-hand side of a transformation rule with a condition attached.
With
has attribute
HoldAll
.
With
constructs can be nested in any way, with inner variables being renamed if necessary.
With
is a scoping construct that implements read-only lexical variables.
EXAMPLES
CLOSE ALL
Basic Examples
(1)
In[1]:=
In[2]:=
Out[2]=
Scope
(3)
Applications
(1)
Properties & Relations
(4)
Possible Issues
(1)
Neat Examples
(2)
SEE ALSO
Module
Block
ReplaceAll
TUTORIALS
Local Constants
Some General Notations and Conventions
Variables in Pure Functions and Rules
MORE ABOUT
Evaluation Control
Language Overview
Procedural Programming
Scoping Constructs
New in 2
© 2008 Wolfram Research, Inc.
EXAMPLES
Basic Examples 
Scope 