Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
Mathematica > Mathematics and Algorithms > Equation Solving >
Built-in Mathematica SymbolTutorials »|See Also »|More About »

FindInstance

FindInstance[expr, vars]
finds an instance of vars that makes the statement expr be True.
FindInstance[expr, vars, dom]
finds an instance over the domain dom. Common choices of dom are Complexes, Reals, Integers and Booleans.
FindInstance[expr, vars, dom, n]
finds n instances.
  • FindInstance[expr, {x1, x2, ...}] gives results in the same form as Solve: {{x1->val1, x2->val2, ...}} if an instance exists, and {} if it does not.
  • expr can contain equations, inequalities, domain specifications and quantifiers, in the same form as in Reduce.
  • With exact symbolic input, FindInstance gives exact results.
  • Even if two inputs define the same mathematical set, FindInstance may still pick different instances to return.
  • The instances returned by FindInstance typically correspond to special or interesting points in the set.
  • FindInstance[expr, vars] assumes by default that quantities appearing algebraically in inequalities are real, while all other quantities are complex.
  • FindInstance[expr, vars, Reals] assumes that not only vars but also all function values in expr are real. FindInstance[expr&&varsElementReals, vars] assumes only that the vars are real.
  • FindInstance may be able to find instances even if Reduce cannot give a complete reduction.
  • Every time you run FindInstance with a given input, it will return the same output.
  • Different settings for the option RandomSeed->s may yield different collections of instances.
  • FindInstance[expr, vars, dom, n] will return a shorter list if the total number of instances is less than n.
EXAMPLESCLOSE ALL
Basic Examples   (5)
Find a solution instance of a system of equations:
In[1]:=
Click for copyable input
Out[1]=
 
Find a real solution instance of a system of equations and inequalities:
In[1]:=
Click for copyable input
Out[1]=
 
Find an integer solution instance:
In[1]:=
Click for copyable input
Out[1]=
 
Find Boolean values of variables that satisfy a formula:
In[1]:=
Click for copyable input
Out[1]=
 
Find several instances:
In[1]:=
Click for copyable input
Out[1]=
New in 5
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team