Wolfram Research, Inc.
CylindricalAlgebraicDecomposition[ineqs, , , ... ] finds a decomposition of the region represented by the inequalities ineqs into cylindrical parts whose directions correspond to the successive .
Example: Experimental`CylindricalAlgebraicDecomposition[x^2 + y^2 < 1, x, y] .
CylindricalAlgebraicDecomposition assumes that all variables are real.
Lists or logical combinations of inequalities can be given.
CylindricalAlgebraicDecomposition returns inequalities whose bounds in general involve algebraic functions.
The algorithms of CylindricalAlgebraicDecomposition are used automatically inside FullSimplify and Resolve.
See also: ExistsRealQ, ForAllRealQ, ImpliesRealQ, Resolve, Minimize.
Note: this is an experimental feature, and in future versions of Mathematica it may not be supported, or may have a different specification.