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.

Examples

Decompose a simple region:

GenericCylindricalDecomposition[x^2 + y^2 < 1, {x, y}]

Please visit the official Wolfram Language Reference for more details.