This is documentation for Mathematica 7, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

Cases

Cases[{e1, e2, ...}, pattern]
gives a list of the ei that match the pattern.
Cases[{e1, ...}, pattern->rhs]
gives a list of the values of rhs corresponding to the ei that match the pattern.
Cases[expr, pattern, levelspec]
gives a list of all parts of expr on levels specified by levelspec that match the pattern.
Cases[expr, pattern->rhs, levelspec]
gives the values of rhs that match the pattern.
Cases[expr, pattern, levelspec, n]
gives the first n parts in expr that match the pattern.
  • The first argument to Cases need not have head List.
  • Cases[expr, pattern:>rhs] evaluates rhs only when the pattern is found.
  • Cases uses standard level specifications:
nlevels 1 through n
Infinitylevels 1 through Infinity
{n}level n only
{n1,n2}levels n1 through n2
  • The default value for levelspec in Cases is {1}.
  • A positive level n consists of all parts of expr specified by n indices.
  • A negative level -n consists of all parts of expr with depth n.
  • Level -1 consists of numbers, symbols and other objects that do not have subparts.
  • Level 0 corresponds to the whole expression.
  • With the option setting Heads->True, Cases looks at heads of expressions, and their parts.
  • Cases traverses the parts of expr in a depth-first order, with leaves visited before roots.
Find cases that explicitly match integers:
Find cases that do not match integers:
Return the x from inside each f[x_] matched:
Find cases that explicitly match integers:
In[1]:=
Click for copyable input
Out[1]=
Find cases that do not match integers:
In[2]:=
Click for copyable input
Out[2]=
 
Return the x from inside each f[x_] matched:
In[1]:=
Click for copyable input
Out[1]=
Find all cases of lists of two elements:
Find the sum of every pair of elements:
Pick out elements that are not 0:
Pick out cases of integers down to level 2:
Use :> to evaluate only after explicit elements have been found:
New in 1 | Last modified in 5