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

Documentation / Mathematica / Built-in Functions / New in Version 5.0 / Algebraic Computation /


FilledSmallSquare Resolve[expr] attempts to resolve expr into a form that eliminates ForAll and Exists quantifiers.

FilledSmallSquare Resolve[expr, dom] works over the domain dom. Common choices of dom are Complexes, Reals and Booleans.

FilledSmallSquare Resolve is in effect automatically applied by Reduce.

FilledSmallSquare expr can contain equations, inequalities, domain specifications and quantifiers, in the same form as in Reduce.

FilledSmallSquare The result of Resolve[expr] always describes exactly the same mathematical set as expr, but without quantifiers.

FilledSmallSquare Resolve[expr] assumes by default that quantities appearing algebraically in inequalities are real, while all other quantities are complex.

FilledSmallSquare When a quantifier such as ForAll[x, ... ] is eliminated the result will contain no mention of the localized variable x.

FilledSmallSquare Resolve[expr] can in principle always eliminate quantifiers if expr contains only polynomial equations and inequalities over the reals or complexes.

FilledSmallSquare See Section 3.4.11.

FilledSmallSquare Implementation Notes: see Section A.9.5.

FilledSmallSquare See also: Reduce, FindInstance, Exists, ForAll.

FilledSmallSquare New in Version 5.0.

Further Examples