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

New in 6
New to Mathematica? Find your learning path »
Have a question? Ask support »