Solving

Definition for Mathematicians
If $$\Phi[x_1, \ldots, x_n]$$ is a formula with free variables $$x_1, \ldots, x_n$$, then solving $$\Phi[x_2, \ldots, x_n]$$ refers to effectively describing the solution set:

$$S(\Phi) = \{ x_1, \ldots, x_n \mbox{ such that } \Phi(x_1, \ldots, x_n) \}$$.

Typically, an effective description is one involving (a minimal boolean combination) of simple equalities and inequalities of the form $$x_i = c_i$$ or $$x_i > c_i$$, for example, where $$c_i$$ denote constants.

Blocks related to
Keylex::