GenericCylindricalDecomposition

GenericCylindricalDecomposition[ineqs,{x1,x2,}]

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 xi, together with any hypersurfaces containing the rest of the region.

Details and Options

Examples

open allclose all

Basic Examples  (1)

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

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

Scope  (3)

Generalizations & Extensions  (1)

Applications  (1)

Properties & Relations  (3)

Possible Issues  (1)

See Also

CylindricalDecomposition  Reduce  SemialgebraicComponentInstances

Tutorials

Introduced in 2007
(6.0)