DOCUMENTATION CENTER SEARCH

Mathematica > Mathematics and Algorithms > Polynomial Algebra > Polynomial Systems >

Built-in Mathematica Symbol

Tutorials »|See Also »|More About »

GenericCylindricalDecomposition

GenericCylindricalDecomposition[ineqs, {x₁, x₂, ...}]
finds the full-dimensional part of the decomposition of the region represented by the inequalities ineqs into cylindrical parts whose directions correspond to the successive x_i, together with any hypersurfaces containing the rest of the region.

MORE INFORMATION

GenericCylindricalDecomposition assumes that all variables are real.

Lists or logical combinations of inequalities can be given.

GenericCylindricalDecomposition returns inequalities whose bounds in general involve algebraic functions.

Basic Examples (1)

Find a cylindrical decomposition of the full-dimensional part of the unit disk:

Applications (1)

Properties & Relations (3)

Possible Issues (1)

CylindricalDecomposition Reduce SemialgebraicComponentInstances

The Representation of Solution Sets

Polynomial Systems

New in 6.0: Symbolic Computation

New in 6

Ask a question about this page | Suggest an improvement | Leave a message for the team