CylindricalDecomposition

Usage

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

Notes

• 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.

Further Examples