CylindricalDecomposition

CylindricalDecomposition[ineqs,{x1,x2,}]

finds a decomposition of the region represented by the inequalities ineqs into cylindrical parts whose directions correspond to the successive xi.

Details and Options

Examples

open allclose all

Basic Examples  (1)

Find a cylindrical decomposition of the unit disc:

In[1]:=
Click for copyable input
Out[1]=

Scope  (5)

Generalizations & Extensions  (4)

Options  (1)

Properties & Relations  (8)

Possible Issues  (2)

Neat Examples  (1)

See Also

Reduce  Resolve  FindInstance  Discriminant  Resultant  SemialgebraicComponentInstances  GenericCylindricalDecomposition  GroebnerBasis  FullSimplify

Tutorials

Introduced in 2003
(5.0)