CylindricalDecomposition[ineqs, , , ... ] finds a decomposition of the region represented by the inequalities ineqs into cylindrical parts whose directions correspond to the successive .
Example: CylindricalDecomposition[x^2 + y^2 < 1, x, y] .
CylindricalDecomposition assumes that all variables are real.
Lists or logical combinations of inequalities can be given.
CylindricalDecomposition returns inequalities whose bounds in general involve algebraic functions.
See Section 3.4.10.
Implementation Notes: see Section A.9.5.
See also: Reduce, Resolve, FindInstance, FullSimplify, GroebnerBasis.
New in Version 5.0.