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 .

Details and OptionsDetails and Options

Introduced in 2003
(5.0)