CylindricalDecomposition

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

MORE INFORMATION

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.

EXAMPLES

CLOSE ALL

Basic Examples (1)

Find a cylindrical decomposition of the unit disc:

In[1]:=

Out[1]=

Scope (5)

Generalizations & Extensions (4)

Options (1)

Properties & Relations (8)

Possible Issues (2)

Neat Examples (1)