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

Details and OptionsDetails and Options

Introduced in 2007
(6.0)