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

FreeQ

FreeQ[expr, form]
yields True if no subexpression in expr matches form, and yields False otherwise.
FreeQ[expr, form, levelspec]
tests only those parts of expr on levels specified by levelspec.
  • form can be a pattern.
  • FreeQ uses standard level specifications:
nlevels 1 through n
Infinitylevels 1 through Infinity
{n}level n only
{n1,n2}levels n1 through n2
  • 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 default option setting Heads->True, FreeQ looks at heads of expressions, and their parts.
Test whether a list is free of 0:
FreeQ normally tests all levels in an expression:
Test whether a list is free of 0:
In[1]:=
Click for copyable input
Out[1]=
 
FreeQ normally tests all levels in an expression:
In[1]:=
Click for copyable input
Out[1]=
FreeQ works with patterns:
Define a function that factors out "constants":
Test which integrals are free of logarithms:
New in 1