This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

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.
  • Lists or logical combinations of inequalities can be given.
Find a cylindrical decomposition of the full-dimensional part of the unit disc:
In[1]:=
Click for copyable input
Out[1]=
New in 6