Wolfram Language & System 10.3 (2015)|Legacy Documentation

This is documentation for an earlier version of the Wolfram Language.View current documentation (Version 11.2)


finds an instance of vars that makes the statement expr be True.

finds an instance over the domain dom. Common choices of dom are Complexes, Reals, Integers, and Booleans.

finds n instances.

Details and OptionsDetails and Options

  • FindInstance[expr,{x1,x2,}] gives results in the same form as Solve: 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.
  • The statement expr can be any logical combination of:
  • lhs==rhsequations
    or inequalities
    exprdomdomain specifications
    {x,y,}regregion specification
    ForAll[x,cond,expr]universal quantifiers
    Exists[x,cond,expr]existential quantifiers
  • 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,Integers] finds solutions to Diophantine equations.
  • FindInstance[expr,vars,Booleans] solves Boolean satisfiability for expr.
  • FindInstance[expr,vars,Reals] assumes that not only vars but also all function values in expr are real. FindInstance[expr&&varsReals,vars] assumes only that the vars are real.
  • FindInstance[,xreg,Reals] constrains x to be in the region reg. The different coordinates for x can be referred to using Indexed[x,i].
  • 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.

ExamplesExamplesopen allclose all

Basic Examples  (6)Basic Examples  (6)

Find a solution instance of a system of equations:

Click for copyable input

Find a real solution instance of a system of equations and inequalities:

Click for copyable input

Find an integer solution instance:

Click for copyable input

Find Boolean values of variables that satisfy a formula:

Click for copyable input

Find several instances:

Click for copyable input

Find a point in a geometric region:

Click for copyable input
Click for copyable input
Introduced in 2003
| Updated in 2014