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:

Scope  (3)

GenericCylindricalDecomposition gives a fulldimensional set of solutions and a hypersurface:

The hypersurface contains the difference between all solutions and the fulldimensional set:

There is no remaining hypersurface here:

Here the whole solution set is lower-dimensional:

Generalizations & Extensions  (1)

Find solutions that are generic with respect to the first two variables:

The difference between the generic and full solution is contained in the blue cylindrical surface:

Applications  (1)

Plot a region described by inequalities:

The curves on the surface correspond to cylinder boundaries:

Computing full cylindrical decomposition takes longer and is not necessary to plot the picture:

RegionPlot3D uses a numerical method and gives a somewhat less-precise picture:

Properties & Relations  (3)

GenericCylindricalDecomposition finds the solution set up to lowerdimensional parts:

CylindricalDecomposition finds the complete solution set:

Reduce uses cylindrical decomposition to solve inequalities:

Possible Issues  (1)

When the solution set is lower-dimensional, no solutions are found:

To find lower-dimensional solution sets, use CylindricalDecomposition:

Introduced in 2007
 (6.0)