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

Experimental`CompileEvaluateExperimental`ExistsRealQ

Experimental`CylindricalAlgebraicDecomposition

FilledSmallSquareCylindricalAlgebraicDecomposition[ineqs, , , ... ] finds a decomposition of the region represented by the inequalities ineqs into cylindrical parts whose directions correspond to the successive .

FilledSmallSquare Example: Experimental`CylindricalAlgebraicDecomposition[x^2 + y^2 < 1, x, y] LongRightArrow.

FilledSmallSquareCylindricalAlgebraicDecomposition assumes that all variables are real.

FilledSmallSquare Lists or logical combinations of inequalities can be given.

FilledSmallSquareCylindricalAlgebraicDecomposition returns inequalities whose bounds in general involve algebraic functions.

FilledSmallSquare The algorithms of CylindricalAlgebraicDecomposition are used automatically inside FullSimplify and Resolve.

FilledSmallSquare See also: ExistsRealQ, ForAllRealQ, ImpliesRealQ, Resolve, Minimize.

FilledSmallSquare Note: this is an experimental feature, and in future versions of Mathematica it may not be supported, or may have a different specification.

Experimental`CompileEvaluateExperimental`ExistsRealQ