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

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

CylindricalDecomposition

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

FilledSmallSquare Example: CylindricalDecomposition[x^2 + y^2 < 1, x, y] LongRightArrow.

FilledSmallSquare CylindricalDecomposition assumes that all variables are real.

FilledSmallSquare Lists or logical combinations of inequalities can be given.

FilledSmallSquare CylindricalDecomposition returns inequalities whose bounds in general involve algebraic functions.

FilledSmallSquare See Section 3.4.10.

FilledSmallSquare Implementation Notes: see Section A.9.5.

FilledSmallSquare See also: Reduce, Resolve, FindInstance, FullSimplify, GroebnerBasis.

FilledSmallSquare New in Version 5.0.

Further Examples